Lecture Notes in Artificial Intelligence 4120 Artificial Intelligence and Symbolic Computation 8th I
AISC 20062006 年出版269 页ISBN：3540397280
Lecture Notes in Artificial Intelligence 3949 Artificial Intelligence and Neural Networks 14th Turki
TAINN 20052006 年出版227 页ISBN：3540367136
Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN：3540232125
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
Lecture Notes in Artificial Intelligence 4428 Model Checking and Artificial Intelligence 4th Worksho
MoChArt IV Riva Del Garda2222 年出版0 页ISBN：
Lecture Notes in Control and Information Sciences 242 Nonlinear Control Systems An Algebraic Setting
1999 年出版166 页ISBN：1852331518
Lecture Notes in Artificial Intelligence 3848 Constraint-Based Mining and Inductive Databases Europe
2005 年出版401 页ISBN：3540313311
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 92 LARGE SCALE SYSTEMS STABILITY UNDER STRUCTURAL
1987 年出版367 页ISBN：3540183000
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 293: THE APPROXIMATION OF CONTINUOUS FUNCTIONS BY
1972 年出版289 页ISBN：3540060383;0387060383
