Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
Lecture Notes in Artificial Intelligence 4520 Anticipatory Behavior in Adaptive Learning Systems Fro
2007 年出版379 页ISBN：9783540742616
Lecture Notes in Artificial Intelligence 3419 Recent Advances in Constraints Joint ERCIM/CoLogNet In
CSCLP 20042005 年出版217 页ISBN：3540251766
Lecture Notes in Artificial Intelligence 3010 Recent Advances in Constraints Joint ERCIM/CoLogNET In
CSCLP 20032004 年出版285 页ISBN：3540218343
Lecture Notes in Artificial Intelligence 4413 Advances in Hybrid Information Technology First Intern
ICHIT 20062007 年出版671 页ISBN：9783540773672
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
Lecture Notes in Artificial Intelligence 3814 Intelligent Technologies for Interactive Entertainment
INTETAIN 20052005 年出版342 页ISBN：3540305092
Lecture Notes in Artificial Intelligence 3492:Logical Aspects of computational Linguistics
Philippe Blache2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4597 Advances in Data mining 7th Industriak Cinference
ICDM 20072007 年出版352 页ISBN：9783540734345
Lecture Notes in Artificial Intelligence 4139 Advances in Natural Language Processing 5th Internatio
FinTAL 20062006 年出版771 页ISBN：3540373349
