Title: Inductive logic programming
First published: 2000
Subjects: Logic programming, Congresses
LC classification: QA76.63 .I52 2000