Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN:354034750X
EXPERT SYSTEMS AND ARTIFICIAL INTELLIGENCE IN DECISION SUPPORT SYSTEMS
1987 年出版330 页ISBN:9027724377
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN: