Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
Algorithms to Live By: The Computer Science of Human Decisions
Brian Christian2017 年出版352 页ISBN：12501183603
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
Lecture Notes in Artificial Intelligence 3698 KI 2005:Advances in Artificial Intelligence 28th Annua
KI 20052005 年出版409 页ISBN：3540287612
JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS Vol.7 COMPUTER SCIENCE & TECHNOLO
T.KITAGAWA1983 年出版314 页ISBN：
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 3 BALL TO BOX
1976 年出版503 页ISBN：0824722531
LOGO AND MODELS OF COMPUTATION AN INTRODUCTION TO COMPUTER SCIENCE
MICHAEL E.BURKE L.ROLAND GENISE2222 年出版420 页ISBN：0201207915
SCHAUM’S OUTLINE OF THEORY AND PROBLEMS OF Introduction to COMPUTER SCIENCE
FRANCIS SCHEID2222 年出版281 页ISBN：0070551952
