HOW MACHINES THINK A GENERAL INTRODUCTION TO ARTIFICIAL INTELLIGENCE ILLUSTRATED IN PROLOG
Nigel Ford1987 年出版206 页ISBN:
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