Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
Lecture Notes in Artificial Intelligence 3492:Logical Aspects of computational Linguistics
Philippe Blache2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 2014:Logical Aspects of Computational Linguistics
Michael Moortgat2001 年出版287 页ISBN：354042251X
Lecture Notes in Artificial Intrlligence 4660 Computational Discovery of Scientific Knowledge Introd
Techniques2007 年出版327 页ISBN：
Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge
INAP 20042005 年出版309 页ISBN：3540255605
Lecture Notes in Artificial Intelligence 3413 Socionics Scalability of Complex Social Systems
2005 年出版315 页ISBN：3540307079
Lecture Notes in Artificial Intelligence 4565 Foundations of Augmented Cognition Third International
FAC 20072007 年出版450 页ISBN：9783540732150
Lecture Notes in Artificial Intelligence 3488 Foundations of Intelligent Systems 15th International
ISMIS 20052005 年出版700 页ISBN：3540258787
