Lecture Notes in Artificial Intelligence 3244 Algorithmic Learning Theory 15th International Confere
ALT 20042004 年出版504 页ISBN：3540233563
Lecture Notes in Artificial Intelligence 3194 Inductive Logic Programming 14th International Confere
ILP 20042004 年出版361 页ISBN：3540229418
Informatik-Fachberichte 47 GWAI-81 German Workshop on Artificial Intelligence Bad Honnef
January 26-311981 年出版317 页ISBN：
HOW MACHINES THINK A GENERAL INTRODUCTION TO ARTIFICIAL INTELLIGENCE ILLUSTRATED IN PROLOG
Nigel Ford1987 年出版206 页ISBN：
Lecture Notes in Artificial Intelligence 3734 Algorithmic Learning Theory 16th International Confere
ALT 20052005 年出版489 页ISBN：354029242X
Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN：
Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence ICTAL 2001
IEEE Computer Society2001 年出版349 页ISBN：
DESIGNING EXPERT SYSTEMS A GUIDE TO SELECTING IMPLEMENTATION TECHNIQUES
PAUL J.KLINE STEVEN B.DOLINS2222 年出版219 页ISBN：
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
