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