ARTIFICIAL INTELLIGENCE TECHNIQUES IN PROLOG
YOAV SHOHAM1994 年出版327 页ISBN:1558601678
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
ARTIFICIAL INTELLIGENCE AND MATHEMATICAL THEORY OF COMPUTATION PAPERS IN HONOR OF JOHN MCCARTHY
2222 年出版475 页ISBN:0124500102
DEDUCTION SYSTEMS IN ARTIFICIAL INTELLIGENCE
KARL HANS BLASIUS AND HANS-JURGEN BURCKERT1989 年出版238 页ISBN:
Advances in artificial intelligence 14th
eleni stroulia and stan matwin2001 年出版368 页ISBN:3540421440
ARTIFICIAL INTELLIGENCE TECHNIQUES IN POWER SYSTEMS
1997 年出版302 页ISBN:0852968973