LECTURE NOTES IN MATHEMATICS 927: THE TRACE FORMULA AND BASE CHANGE FOR GL(3)
1982 年出版204 页ISBN：3540115005;0387115005
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN：3540285385
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN：9783540721994
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
PERCEPTION-BASED DATA PROCESSING IN ACOUSTICS APPLICATIONS TO MUSIC INFORMATION RETRIEVAL AND PSYCHO
BOZENA KOSTEK2005 年出版420 页ISBN：3540257292
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
