Title: Logic programming
First published: 1999
Subjects: Logic programming, Congresses
LC classification: QA76.63 .I56 1999