Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
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
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN：9783540721994
Lecture Notes in Computer Science 3945 Functional and Logic Programming 8th International Symposium
FLOPS 20062006 年出版294 页ISBN：3540334386
Lecture Notes in Computer Science 2998 Functional and Logic Programming 7th International Symposium
FLOPS 20062004 年出版307 页ISBN：354021402X
