REASONING FROM EVIDENCE INDUCTIVE LOGIC
WILLIAM GUSTASON1994 年出版318 页ISBN:0023485337
Jeffrey Paris ; Alena Vencovska2015 年出版344 页ISBN:1107042308
Lecture Notes in Artificial Intelligence 3625 Inductive Logic Programming 15th International Confere
ILP 20052005 年出版427 页ISBN:3540281770
Lecture Notes in Artificial Intelligence 4455 Inductive Logic Programming 16th International Confere
ILP 20062007 年出版456 页ISBN:9783540738466
Lecture Notes in Artificial Intelligence 3194 Inductive Logic Programming 14th International Confere
ILP 20042004 年出版361 页ISBN:3540229418
A LOGIC BOOK FUNDAMENTALS OF REASONING THIRD EDITION
1998 年出版394 页ISBN:0534543383
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN: