PROGRESS IN ARTIFICIAL INTELLIGENCE
LUC STEELS AND J.A.CAMPBELL2222 年出版320 页ISBN:
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
Lecture Notes in Aetificial Intelligence 4651 Recent Advances in Constraints 11th Annual ERCIM Inter
CSCLP 20062007 年出版185 页ISBN:9783540738169
ARTIFICIAL INTELLIGENCE AND MATHEMATICAL THEORY OF COMPUTATION PAPERS IN HONOR OF JOHN MCCARTHY
2222 年出版475 页ISBN:0124500102