HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
NICHOLAS RESCHER TOPICS IN PHILOSOPHICAL LOGIC
WESLEY C.SALMON1968 年出版347 页ISBN:
Computer Science Illuminated Second Edition
Nell Dale2005 年出版565 页ISBN:711115553X
本书全面地介绍了计算机科学领域的基础知识。
META-PROGRAMMING IN LOGIC PROGRAMMING
HARVEY ABRAMSON AND M.H.ROGERS2222 年出版545 页ISBN:0262510472