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
Lecture Notes in Computer Scoence 3756 Advanced Parallel Processing Technologies 6th International W
APPT 20052005 年出版526 页ISBN：3540296395
MULTI-COMPUTER ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE
1987 年出版358 页ISBN：0471849790
MAKING SENSE:CONSTRUCTING KNOWLEDGE IN THE ARTS AND SCIENCE
2002 年出版661 页ISBN：0395986303
Colloid Stability and Application in Pharmacy:Colloids and Interface Science
Tadros2007 年出版438 页ISBN：
What Can Be Automated? The Computer Science and Engineering Research Study
Bruce W.Arden1980 年出版934 页ISBN：
Lecture Notes in Control and lnformation Sciences
T.KACZOREK2222 年出版398 页ISBN：3540150862
