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 4632 Advanced Data Mining and Applications Third Internatio
ADMA 20072007 年出版634 页ISBN：9783540738701
Lecture Notes in Artificial Intelligence 4692 Knowledge-Based Intelligent Information and Engineerin
KES 20072007 年出版882 页ISBN：9783540748175
Lecture Notes in Artificial Intelligence 3904 Declarative Agent Languages and Technologies III Third
DALT 20052006 年出版245 页ISBN：3540331069
Lecture Notes in Artificial Intelligence 3056 Advances in Knowledge Discovery and Data Mining 8th Pa
PAKDD 20042004 年出版713 页ISBN：354022064X
Lecture Notes in Artificial Intelligence 3584 Advanced Data Mining and Applications First Internatio
ADMA 20052005 年出版835 页ISBN：354027894X
Lecture Notes in Artificial Intelligence 3648 Knowledge-Based Intelligent Information and Engineerin
KES 20052005 年出版933 页ISBN：354028897X
Lecture Notes in Artificial Intelligence 4635 Modeling and Using Context 6th International and Inter
2007 年出版574 页ISBN：9783540742548
