Title: Logic programming
First published: 2001
Subjects: Logic programming, Congresses
LC classification: QA76.63 .I57 2001, QA76.63 .I57 2001