（苏）耶尔马科夫相关电子书下载

（俄）巴尔苏科夫著1973 年出版0 页ISBN：

（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515

这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

（苏）阿曼斯基（E.V.Armensky），（苏）弗尔克（G.B.Falk）著；张美东，戴鸿仪译1982 年出版281 页ISBN：15035·2512

（苏）А.扎克，（苏）И.库兹聂佐夫著；叶小铿译1981 年出版62 页ISBN：8069·120

（苏）兹拉托果洛夫（М.Златогоров）著；北京市中苏友好协会编译科译1954 年出版120 页ISBN：

（苏）扎哈罗夫，（苏）奥布拉卓夫撰；中华全国总工会俄文室译1950 年出版135 页ISBN：

（苏）宋吉克（Н.Шундик）著；（苏）柯察尔金绘图；民文译1958 年出版417 页ISBN：10078·1617

（苏）柯索夫（Б.М.Косов），（苏）奥斯特罗明茨基（Н.М.Остроменцкий）著；鄢儒义，吕文彦译1954 年出版162 页ISBN：

（苏）格沃捷夫，М.，（苏）亚柯夫金，В.著；集成译1959 年出版158 页ISBN：13067·5