Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
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 4451 Artifical Intelligence for Human Computing ICMI 2006 a
2007 年出版359 页ISBN：9783540723462
Computational Modeling for Homogeneous and Enzymatic Catalysis
2008 年出版378 页ISBN：9783527318438
