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 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 Aetificial Intelligence 3438 Constraint Solving and Language Processing First Inter
CSLP 20042005 年出版205 页ISBN：3540261656
Lecture Notes in Artificial Intelligence 3648 Knowledge-Based Intelligent Information and Engineerin
KES 20052005 年出版933 页ISBN：354028897X
LECTURE NOTES IN MATHEMATICS 109 CONFERENCE ON THE NUMERICAL SOLUTION OF DIFFERENTIAL EQUATIONS
J.LI.MORRIS2222 年出版275 页ISBN：
Lecture Notes in Artificial Intelligence 3859 Agent Communication II International Workshops on Agen
AC 2005 and AC 20062006 年出版303 页ISBN：9783540681427
LECTURE NOTES IN ECONOMICE AND MATHEMATICAL SYSTEMS 482: A THEORY OF INTERNATIONAL TRADE
WEI-BIN ZHANG2000 年出版196 页ISBN：3540669175
