Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Artificial Intelligence 4481 Rough Sets and Knowledge Technology Second Internation
RSKT 20072007 年出版576 页ISBN：9783540724575
Lecture Notes in Artificial Intelligence 3946 Modeling and Retriecal of Context Second International
MRC 20052006 年出版149 页ISBN：3540335870
Lecture Notes in Artificial Intelligence 3476 Declarative Agent Languages and Technologies II Second
DALT 20042005 年出版289 页ISBN：3540261729
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
Lecture Notes in Physics:Modern Aspects of Spin Physics
2007 年出版130 页ISBN：3540385908
LECTURE NOTES IN MATHEMATICS 1267: GEOMETRICAL ASPECTS OF FUNCTIONAL ANALYSIS
1987 年出版217 页ISBN：3540181032;0387181032
LECTURE NOTES IN MATHEMATICS 1317: GEOMETRIC ASPECTS OF FUNCTIONAL ANALYSIS
1988 年出版296 页ISBN：3540193537;0387193537
Lecture Notes in Artificial Intelligence 3492:Logical Aspects of computational Linguistics
Philippe Blache2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 2014:Logical Aspects of Computational Linguistics
Michael Moortgat2001 年出版287 页ISBN：354042251X
