Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN:3540232125
Lecture Notes in Artificial Intelligence 4428 Model Checking and Artificial Intelligence 4th Worksho
MoChArt IV Riva Del Garda2222 年出版0 页ISBN:
DEDUCTION SYSTEMS IN ARTIFICIAL INTELLIGENCE
KARL HANS BLASIUS AND HANS-JURGEN BURCKERT1989 年出版238 页ISBN:
Lecture Notes in Artificial Intelligence 4200 Intelligent Computing in Engineering and Architecture
2006 年出版692 页ISBN:3540462465
Advances in artificial intelligence 14th
eleni stroulia and stan matwin2001 年出版368 页ISBN:3540421440