Lecture Notes in Artificial Intelligence 2143 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20012001 年出版818 页ISBN：3540424644
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
Lecture Notes in Artificial Intelligence 2281 Progress in Discovery Science Final Report of the Japa
2002 年出版681 页ISBN：3540433384
Lecture Notes in Artificial Intelligence 2160 Automatic Generation of Computer Animation Using AI fo
2002 年出版380 页ISBN：3540431144
Lecture Notes in Artificial Intelligence 4285 Computer Processing of Oriental Languages Beyond the O
ICCPOL 20062006 年出版544 页ISBN：9783540496670
Lecture Notes in Artificial Intelligence 2464 Artificial Intelligence and Cognitive Science 13th Iri
AICS 20022002 年出版247 页ISBN：3540441840
Lecture Notes in Compute Science 4365 Business Intelligence for the Real-Time Enterprises
2007 年出版157 页ISBN：9783540739494
Lecture Notes in Conputer Science 4688 Bio-Inspired Computational IIntelligence and Applications Int
LSMS 20072007 年出版805 页ISBN：9783540747680
