DEDUCTION SYSTEMS IN ARTIFICIAL INTELLIGENCE
KARL HANS BLASIUS AND HANS-JURGEN BURCKERT1989 年出版238 页ISBN：
Lecture Notes in Computer Science 3314 Computational and Information Science First International Sym
CIS 20042004 年出版1259 页ISBN：3540241272
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Artificial Intelligence with Statistical Pattern Recognition
1986 年出版372 页ISBN：0130491314
Advances in artificial intelligence 14th
eleni stroulia and stan matwin2001 年出版368 页ISBN：3540421440
