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 2014:Logical Aspects of Computational Linguistics
Michael Moortgat2001 年出版287 页ISBN：354042251X
Lecture Notes in Artificial Intelligence 4087 Artificial Neural Networks in Pattern Recognition Seco
ANNPR 20062006 年出版299 页ISBN：3540379517
Lecture Notes in Artificial Intelligence 3978 Recent Advances in Cinstraints Joint ERCIM/CoLogNET In
2006 年出版179 页ISBN：354034215X
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 4755 Discovery Science 10th International Conference
DS 20072007 年出版298 页ISBN：9783540754879
Lecture Notes in Artificial Intelligence 4265 Discovery Science 9th International Conference
DS 20062006 年出版384 页ISBN：3540464913
Lecture Notes in Artificial Intelligence 3735 Discovery Science 8th International Conference
DS 20052005 年出版400 页ISBN：3540292306
