（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（苏）波罗达索夫（А.И.Протасов），（苏）列嘉耶夫（Леляев，А.Д.）著；梁中民，戴慧敏译1958 年出版91 页ISBN：16101·247
（苏）柯列斯尼柯夫（Колесников，Н.В.），（苏）沙巴诺夫（Шабанов，А.Н.）编；中央人民政府军事委员会总后勤部卫生部编译出版处译1954 年出版718 页ISBN：
（苏）安德列耶夫（В.П.Андреев），（苏）萨比宁（Ю.А.Сабинин）著；钟兆琥译1965 年出版274 页ISBN：K15033·3923
（苏）明滋（Д.М.Минц），（苏）舒别尔特（С.А.Шуберт）著；惠遇甲，马惠民译1957 年出版108 页ISBN：15047·96
