Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 4413 Advances in Hybrid Information Technology First Intern
ICHIT 20062007 年出版671 页ISBN：9783540773672
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Artificial Intelligence 4481 Rough Sets and Knowledge Technology Second Internation
RSKT 20072007 年出版576 页ISBN：9783540724575
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
Lecture Notes in Artificial Intelligence 4632 Advanced Data Mining and Applications Third Internatio
ADMA 20072007 年出版634 页ISBN：9783540738701
Lecture Notes in Artificial Intelligence 3946 Modeling and Retriecal of Context Second International
MRC 20052006 年出版149 页ISBN：3540335870
Lecture Notes in Artificial Intelligence 4692 Knowledge-Based Intelligent Information and Engineerin
KES 20072007 年出版882 页ISBN：9783540748175
Lecture Notes in Artificial Intelligence 3476 Declarative Agent Languages and Technologies II Second
DALT 20042005 年出版289 页ISBN：3540261729
Lecture Notes in Artificial Intelligence 3904 Declarative Agent Languages and Technologies III Third
DALT 20052006 年出版245 页ISBN：3540331069
