Title: Logic Programming (vol. # 4079)
Subjects: Logic design, Computer science, Artificial intelligence, Logic programming, Mathematics, Congresses