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：
MACHINE INTELLIGENCE 11 Logic and the acquisiton of knowledge
J.E.HAYES1988 年出版460 页ISBN：
EXPERT SYSTEMS AND ARTIFICIAL INTELLIGENCE IN DECISION SUPPORT SYSTEMS
1987 年出版330 页ISBN：9027724377
MATHEMATICAL MODELS FOR HANDLING PARTIAL KNOWLEDGE IN ARTIFICIAL INTELLIGENCE
2222 年出版308 页ISBN：0306450763
ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION IN COMPUTER AIDED DESIGN
1978 年出版510 页ISBN：0444852298
ARTIFICIAL INTELLIGENCE:Applications to Logical Reasoning and Historical Research
2222 年出版172 页ISBN：0853128561
Huandbook of Computational Intelligence in Manufacturing and Production Management
2008 年出版491 页ISBN：9781599045825
