Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3002 Metainformatics International Symposium
MIS 20032004 年出版213 页ISBN：3540220100
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
DONALD A.B.LINDBERG AND SHIGEKOTO KAIHARA2222 年出版1392 页ISBN：0444860312
