п.г.罗曼科夫相关电子书下载

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

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

（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038

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

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

В.П.ЛОГИНОВ1986 年出版268 页ISBN：

（苏）乌姆利欣（П.В.Умрихин），（苏）柯卡列夫（Н.И.Кокарев）著；萧明伟，方宗远译1954 年出版132 页ISBN：

（苏）克鲁普斯卡娅（Н.К.Крупекая）著；李哲民译1957 年出版67 页ISBN：7013·42

（俄）契诃夫（А.П.Чехов）撰；汝龙译1955 年出版279 页ISBN：

（苏）叶尔莫洛夫（Ермолов，П.С.）等著；高行方，华国柱译校1990 年出版256 页ISBN：7109012999

（苏）利亚基舍夫（Риятишев，Н.П.）主编；叶锐曾译1986 年出版281 页ISBN：15062·4293

（苏）史包尔斯基（Э.В.Шпоьский）著；周同庆等译1954 年出版531 页ISBN：