拉兹，兰 马克·布雷弗曼的作品。 （英语） Zbl 07822670号 Beliaev，Dmitry（编辑）等人，《2022年国际数学家大会》，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第1卷。奖励讲座。柏林：欧洲数学学会（EMS）。106-117 (2023).MSC公司：01A70号 2011年第68季度 68页30 94甲15 第68季度01 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Raz}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第1卷。奖励讲座。柏林：欧洲数学学会（EMS）。106-117（2023；Zbl 07822670） 全文： 内政部 OA许可证
伊莱尔·卡普尼（编辑）;贾科·卡里（编辑）;亚历山大·沈（编辑） 前言：驯服随机性和复杂性——纪念佩特·加茨教授的论文。 （英语） Zbl 1506.68004号 西奥。计算。科学。 949，文章ID 113776，2 p.（2023）.MSC公司：68-06 01A70号 68季度xx 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{I.Capuni}（编辑）等人，Theor。计算。科学。949，文章ID 113776，2 p.（2023；Zbl 1506.68004） 全文： 内政部
阿列克谢·塞梅诺夫;亚历山大·沈;尼古拉·维雷沙金 科尔莫戈罗夫上一次发现？（科尔莫戈洛夫和算法统计）。 arXiv:2303.13185 预打印，arXiv:2303.13185[math.LO]（2023）。MSC公司：68问题30 01A60型 62A01型 BibTeX公司 引用 \textit{A.Semenov}等人，“Kolmogorov上次发现？（Kolmogorov and Algorithmic Statictics）''，预印本，arXiv:2303.13185[math.LO]（2023） 全文： arXiv公司 OA许可证
乔纳森·鲍文（Jonathan P.Bowen）。 书评：C.B.Jones（编辑）和J.Misra（编辑），编程理论。托尼·霍尔的生活和作品。 （英语） Zbl 07809174号 正式Asp。计算。 34，第3-4期，第14号论文，第3页（2022年）.MSC公司：00A17年 68-06 01A70号 68-03 68号30 68问题55 68问题85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}，正式Asp。计算。34，第3-4号，第14号文件，第3页（2022；Zbl 07809174） 全文： 内政部
海纳·荣;段英英;张格祥 膜计算的文献计量分析（1998年至2019年）。 （英语） Zbl 1518.68121号 J.成员。计算。 4，编号2，177-207（2022）.MSC公司：2007年第68季度 01A90型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Rong}等人，J.Membr。计算。4，编号2，177--207（2022；Zbl 1518.68121） 全文： 内政部
让·莫斯科尼（编辑）;米歇尔·波尔多（编辑） 可计算性选集。20世纪20年代至70年代可计算性理论的诞生和发展。谢尔盖·格里戈里夫的历史介绍。（《可计算性选集》，1920年至1970年《可计算性理论》的诞生和发展。谢尔盖·格里戈里夫（Serge Grigorieff）的历史简介 （法语） Zbl 1496.03009号 巴黎：卡西尼（ISBN 978-2-84225-094-2/hbk）。十六、798页。(2022).MSC公司：03-06 68-06 03-03 68-03 01A60型 03年月日 68季度xx 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit｛J.Mosconi｝（编辑）和\textit｛M.Bourdeau｝（编辑），《仙人掌选集》。1920年至1970年，Naissance etédevelopments de la théorie de la calculabiliteédes années。谢尔盖·格里戈里夫介绍历史。巴黎：卡西尼（2022；Zbl 1496.03009）
贾维丹·卡泽米·科尔德斯塔尼;迈赫迪·拉扎波·米萨利赫;阿里雷扎，雷兹瓦尼安;穆罕默德·雷扎·梅博迪 学习自动机及其优化变体：文献计量分析。 （英语） Zbl 1485.68217号 Kordestani、Javidan Kazemi（编辑）等人，《学习自动机和智能优化的进展》。查姆：斯普林格。智力。系统。参考Libr。208, 51-73 (2021).MSC公司：68T05年 01A90型 65年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}等人，《情报》。系统。参考图书馆。208、51-73（2021年；Zbl 1485.68217） 全文： 内政部
彼得·霍夫斯特拉;菲利普·斯科特 范畴递归理论的几个方面。 （英语） Zbl 1486.81060号 克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。外部。控制日志。20, 219-269 (2021). 审核人：卡洛斯·佩德罗·冈萨尔维斯（里斯本） MSC公司：81页68 04年第68季度 18-08 03D60年 01A05号 01-01 81-01 94-01 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofstra}和\textit{P.Scott}，Outst。控制日志。20、219--269（2021；Zbl 1486.81060） 全文： 内政部 arXiv公司
克利夫·琼斯。（编辑）;贾亚德夫·米斯拉（编辑） 编程理论。托尼·霍尔的生活和作品。 （英语） Zbl 1473.68016号 ACM图书39.纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-8728-6/hbk；978-1-450.3-8729-3/pbk；968-1-4503-4731-6/电子书）。xx，429页。(2021). 审核人：哈伊姆·基洛夫（米林顿） MSC公司：68-06 01A70号 68-03 68号30 68问题55 68问题85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones（编辑）和textit{J.Misra}（编辑），编程理论。托尼·霍尔的生活和作品。纽约州纽约市：计算机协会（ACM）（2021；Zbl 1473.68016） 全文： 内政部
凯莉·扬西。 在重大职业生涯中的数学经验。 （英语） Zbl 1467.01036号 数学注意事项。Soc公司。 68，第4期，532-534（2021）.MSC公司：01A80号 37B10号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Yancey}，注意美国数学。Soc.68，No.4，532--534（2021；Zbl 1467.01036） 全文： 内政部
杜定珠（编辑）;王杰（编辑） 社论：复杂性和近似性：为了向科伊·科致敬。 （英语） Zbl 1477.68011号 西奥。计算。科学。 858, 143 (2021).MSC公司：68-06 00B15号机组 00B30型 01A70号 68问题30 68周25 PDF格式BibTeX公司 XML格式引用 \textit{D.-Z.Du}（编辑）和\textit{J.Wang}（主编），Theor。计算。科学。858143（2021年；Zbl 1477.68011） 全文： 内政部
理查德·布伦特（Richard P.Brent）。 一些有益的数学错误。 arXiv:2106.07269 预印本，arXiv:2106.07269[math.NT]（2021）。MSC公司：11-01 00A99号 01A99号 2006年11月 2016年11月 65年第68季度 BibTeX公司 引用 \textit{R.P.Brent}，“一些有教育意义的数学错误”，预打印，arXiv:2106.07269[math.NT]（2021） 全文： 内政部 arXiv公司 OA许可证
塞利姆·G·阿克尔。 从平行到非均匀：一条非传统的轨迹。 （英语） Zbl 1486.68006号 Adamatzky，Andrew（编辑）等人，《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆：斯普林格。Emerg.复杂。计算。35, 123-156 (2020).MSC公司：68-03 01A70号 2007年第68季度 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Akl}，新兴复合体。计算。35123-156（2020年；1486.68006赞比亚比索） 全文： 内政部
Ken’ichi大冢;阿萨纳塞·帕帕佐普洛斯 瑟斯顿作品一瞥。 （英语） Zbl 1479.57040号 Ohshika，Ken’ichi（编辑）等人，《瑟斯顿的传统》。几何和拓扑。查姆：斯普林格。1-58 (2020).MSC公司：57公里30 57M50型 57-02 57-03 01A60型 01A70号 20楼34 20层65 22E40型 30层20 32国集团15 30层60 30层45层 37D40型 57 K10 57兰特 53A40型 2005年第58天 00A30型 2010年1月20日 70年第68季度 05年5月57日 2007年7月57日 2015年第57季度 58A10号 PDF格式BibTeX公司 XML格式引用 \textit{K.Ohshika}和\textit{A.Papadopoulos}，in：在瑟斯顿的传统中。几何和拓扑。查姆：斯普林格。1-58（2020年；Zbl 1479.57040） 全文： 内政部 arXiv公司 哈尔
格雷戈里·查廷 自传实验。 （英语） Zbl 1527.68004号 Wuppuluri，Shyam（编辑）等人，《解开复杂性》。格雷戈里·查廷的生活和工作。新泽西州哈肯萨克：《世界科学》。1-14 (2020).MSC公司：68-03 01A70号 03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{G.Chaitin}，in：解开复杂性。格雷戈里·查廷的生活和工作。新泽西州哈肯萨克：《世界科学》。1-14（2020年；Zbl 1527.68004） 全文： 内政部
约塞普·迪亚斯 书评：G.Ausiello，《一门新科学的形成》。理论计算机科学早期的个人旅程。 （英语） 兹比尔1444.00008 计算。科学。版次。 35，文章ID 100202，3 p.（2020）.MSC公司：00A17年 68-03 01A60型 01A70号 68个P01 第68季度01 68周01 PDF格式BibTeX公司 XML格式引用 \textit{J.Díaz}，计算。科学。第35版，文章编号100202，第3页（2020年；Zbl 1444.00008） 全文： 内政部
理查德·布伦特（Richard P.Brent）。 Borwein兄弟，pi和AGM。 （英语） Zbl 1437.11001号 Bailey，David H.（编辑）等人，《从分析到可视化》。2017年9月25日至29日，澳大利亚卡拉汉，乔纳森·博尔温的生平和遗产庆典。查姆：斯普林格。Springer程序。数学。《统计》第313、323-347页（2020年）。MSC公司：11-03 11年60 01A70号 33E05号 2016年11月 65B99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Brent}，施普林格程序。数学。Stat.313，323--347（2020；Zbl 1437.11001） 全文： 内政部 arXiv公司
阿尔贝托·丹尼恩齐奥（编辑）;佩恩，古奥热（编辑）;格列泽戈兹·罗森贝格（编辑）;克劳迪奥·赞德隆（编辑） 信息处理的跨学科性质。吉安卡洛·莫里70岁生日纪念特刊。前言。 （英语） Zbl 1435.68024号 芬达姆。通知。 171，编号1-4，v-vi（2020）.MSC公司：68-06 01A70号 68季度xx 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dennunzio}（编辑）等人，Fundam。通知。171，编号1--4，v-vi（2020；Zbl 1435.68024） 全文： 内政部
乌苏拉·戈尔茨;Schicke-Uffmann，Jens-W。 三方之间的同步和异步通信。 （英语） Zbl 1443.68009号 学报信息。 57，编号3-5，313-320（2020）.MSC公司：68-03 01A70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Goltz}和\textit{J.-W.Schicke-Uffmann}，《学报》第57期，第3--5313--320号（2020年；Zbl 1443.68009） 全文： 内政部
Csuhaj Varjú，埃尔泽贝特（编辑）;弗罗林·马内亚（编辑） 特刊：纪念维克托·米特拉纳60岁生日的论文集。前言。 （英语） Zbl 1430.68006号 发现的国际期刊。计算。科学。 31，第1号，第1-6号（2020年）.MSC公司：68-06 01A70号 68季度xx 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Csuhaj-Varjü}（编辑）和\textit{F.Manea}（主编），《国际法学杂志》发现。计算。科学。31，编号1，1--6（2020；兹bl 1430.68006） 全文： 内政部
大卫·格拉斯 书评：J.Copeland（编辑）等，《图灵指南》。 （英语） Zbl 1478.00010号 伦敦。数学。Soc.，新闻。 2019年，第484、41-43号（2019年）.MSC公司：00A17年 68-06 68-01 68-03 01A60型 01A70号 04年第68季度 94A60型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Glass}，伦敦。数学。Soc.，新闻。2019年，第484、41-43号（2019年；Zbl 1478.00010） 全文： 链接
西尔文·平斯基 凯西·梅多斯：方案分析的核心人物。 （英语） Zbl 1453.68007号 Guttman，Joshua D.（编辑）等人，《安全、协议和等式推理的基础》。献给凯瑟琳·梅多斯的散文。查姆：斯普林格。莱克特。注释计算。科学。11565，1-5（2019）。MSC公司：68-03 01A70号 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.平斯基}，莱克特。注释计算。科学。11565，1--5（2019；Zbl 1453.68007） 全文： 内政部
大丽亚·马尔基（编辑） [莱斯利·兰波特] 并发。莱斯利·兰波特的作品。 （英语） Zbl 1434.68029号 ACM图书29.纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-7270-1/hbk；978-1-450.3-7271-8/pbk；97 8-1-4507-7273-2/电子书）。xx，第345页。(2019).MSC公司：68-06 01A70号 68-03 64岁以下 68问题85 68单位15 68宽15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Malkhi}（编辑），《并发》。莱斯利·兰波特的作品。纽约州纽约市：计算机协会（ACM）（2019；Zbl 1434.68029） 全文： 内政部 链接
科萨克，罗马人 书评：M.D.Davis，《通用计算机》。从莱布尼茨到图灵的路。第3版。 （英语） Zbl 1416.00011号 数学。智力。 41，第2号，78-79（2019）.MSC公司：00A17年 68-03 01A50号 01A55号 01A60型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kossak}，数学。智力。41、第2号、第78--79号（2019年；Zbl 1416.00011） 全文： 内政部
比约恩Kjos-Hanssen 只有人类。书评：B.J.Copeland（编辑）等人，《图灵指南》。 （英语） Zbl 1414.00006号 美国数学通告。Soc公司。 66，第4号，556-561（2019）.MSC公司：00A17年 68-06 68-01 68-03 01A60型 01A70号 2005年第68季度 94A60型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Kjos-Hanssen}，注意美国数学。Soc.66，No.4，556--561（2019；Zbl 1414.00006） 全文： 内政部
克里斯托弗·波特。 三本关于可计算性的书，特别关注图灵的遗产。论文综述：A.M.Turing，关于可计算数字，以及对Entscheidungs问题的应用。书评：R.Adams，从哥德尔到图灵的递归函数和可计算性的早期历史；B.J.Copeland（编辑）等人，《可计算性》。图灵、哥德尔、教堂和其他地方；G.Sommaruga和T.Strahm（编辑），图灵的革命。他的可计算性思想的影响。 （英语） 邮编1417.00050 历史。数学。 46, 88-95 (2019).MSC公司：00A17年 03-03 01A60型 03年月日 2005年第68季度 01-06 01A70号 2015年3月1日 68-03 2015年第68季度 2017年第68季度 00B15号机组 68-06 03日第10天 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.P.波特}，历史。数学。46、88-95（2019年；Zbl 1417.00050） 全文： 内政部
佩恩，古奥热 具有感染力的创造力。 （英语） Zbl 1415.68009号 贝娄（Alexandra Bellow）（编辑）等人，《数学几乎无处不在》。纪念所罗门·马库斯。新泽西州哈肯萨克：《世界科学》。193-209 (2018).MSC公司：68-03 01A70号 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun}，in：几乎到处都是数学。纪念所罗门·马库斯。新泽西州哈肯萨克：《世界科学》。193-209（2018；Zbl 1415.68009） 全文： 内政部 链接
加布里埃尔·乔巴努（编辑） 高级Koutny网。 （英语） 1424.00005兹罗提 科学。Ann.计算。科学。 第2号第28页，第157-159页（2018）.MSC公司：00B15号机组 68-06 68问题85 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}（编辑），科学。Ann.计算。科学。28，第2号，157--159（2018；Zbl 1424.00005） 全文： 内政部
约翰·杜森（John W.jun Dawson）。 书评：J.von Plato，《伟大的形式机械作品：数字时代起源的演绎和计算理论》。 （英语） Zbl 1403.00006号 BSHM公牛。 33，第3期，196-197（2018）.MSC公司：00A17年 03-03 68-03 01-02 01A05号 00A30型 03A05号 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Dawson jun.}，BSHM公牛。33，第3号，196--197（2018；Zbl 1403.00006） 全文： 内政部
劳伦斯·C·鲍尔森。 计算逻辑：起源和应用。 （英语） Zbl 1402.68160号 程序。英国皇家学会。，A、 数学。物理学。工程科学。 474，No.2210，文章ID 20170872，14 p.（2018）.MSC公司：68吨15 68-03 01A60型 01A61号 03B35型 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}，程序。英国皇家学会。，A、 数学。物理学。工程科学。474，编号2210，文章ID 20170872，14页（2018；Zbl 1402.68160） 全文： 内政部 arXiv公司
克雷格·斯莫林斯基 书评：J.von Plato，《伟大的形式机器》。数字时代起源的演绎和计算理论。 （英语） Zbl 1402.00026号 数学。智力。 40，第4期，94-96（2018）.MSC公司：00A17年 03-03 68-03 01-02 01A05号 00A30型 03A05号 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{C.斯莫林滑雪}，数学。智力。40，第4号，94-96（2018；Zbl 1402.00026） 全文： 内政部
曼弗雷德·德罗斯特（编辑）;Larsen，Kim G。（编辑） 前言：纪念佐尔坦·埃西克（1951-2016）。 （英语） Zbl 1398.00094号 软计算。 22，第4号，1033（2018）.MSC公司：00B25型 68-06 65年第68季度 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}（编辑）和\textit{K.G.Larsen}（主编），软计算。22，第4号，1033（2018；Zbl 1398.00094） 全文： 内政部
乔治·奥塞洛 创造一门新科学。理论计算机科学早期的个人旅程。 （英语） Zbl 1400.68013号 查姆：施普林格（ISBN 978-3-319-62679-6/hbk；978-3-3169-62680-2/电子书）。xiii，第290页。(2018). 审核人：彼得·桑德斯（卡尔斯鲁厄） MSC公司：68-03 01A60型 01A70号 68个P01 第68季度01 68周01 PDF格式BibTeX公司 XML格式引用 \textit{G.Ausiello}，创造一门新科学。理论计算机科学早期的个人旅程。商会：施普林格（2018；兹比尔1400.68013） 全文： 内政部
冯·柏拉图，简 书评：E.G.Omodeo（编辑）和A.Policriti（编辑），Martin Davis关于可计算性、计算逻辑和数学基础。 （英语） 1400.00041兹罗提 数学。智力。 40，第2期，82-84（2018）.MSC公司：00A17年 03-06 03B25号 2015年3月1日 2005年第68季度 01A60型 03日第10天 03A05号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato}，数学。智力。40，第2号，82--84（2018；Zbl 1400.00041） 全文： 内政部
戴维斯，马丁·戴维 通用计算机。莱布尼茨到图灵的公路。第3版。 （英语） Zbl 1382.68009号 佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-138-50208-6/pbk；978-0-8153-8402-1/hbk；978-1-351-38482-7/ebook）。十五、222页。(2018).MSC公司：68-03 01A50号 01A55号 01A60型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Davis}，通用计算机。从莱布尼茨到图灵的路。第3版。佛罗里达州博卡拉顿：CRC出版社（2018；Zbl 1382.68009） 全文： 链接
塞蒂莫·特米尼 图灵。机器，还有不安和欲望。 （英语） Zbl 1436.68008号 莱特。材料，国际编辑。 5，第2期，185-189（2017）.MSC公司：68-03 01A70号 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Termini}，莱特。Mat.，Int.Ed.5，No.2，185--189（2017；Zbl 1436.68008） 全文： 内政部
庄艳华;李万毅;王欢欢;洪，宋;王海军 过去50年细胞自动机出版物的文献综述。 （英语） Zbl 1432.68297号 J.细胞。自动。 12，第6号，475-492（2017）.MSC公司：68问题80 01A90型 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhuang}等人，J.Cell。自动。12，第6号，475--492（2017；Zbl 1432.68297） 全文： 链接
Victor Ya，潘。 快速矩阵乘法及其代数邻域。 （英语。俄文原件） Zbl 1476.68006号 Sb.数学。 208，第11期，1661-1704（2017）; 翻译自Mat.Sb.208，No.11，90-138（2017）。MSC公司：68-03 15-03 65-03 01A60型 65层99 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Ya.Pan}，Sb.数学。208，第11号，1661--1704（2017；Zbl 1476.68006）；翻译自Mat.Sb.208，No.11，90--138（2017） 全文： 内政部
加拿大巴什肯特（编辑）;劳伦斯·莫斯。（编辑）;拉马努贾姆，拉马斯瓦米（编辑） [罗希特·帕里赫] 罗希特·帕里克谈逻辑、语言和社会。 （英语） Zbl 1381.03001号 对逻辑的杰出贡献11.查姆：施普林格（ISBN 978-3-319-47842-5/hbk；978-3-3169-47843-2/电子书）。xiv，第359页。(2017).MSC公司：03-06 00A30型 03A05号 03B42号 03B65型 68问题55 00B15号机组 01A70号 01A60型 PDF格式BibTeX公司 XML格式引用 \文本{C.巴什肯特}（编辑）等人，罗希特·帕里赫（Rohit Parikh），关于逻辑、语言和社会。查姆：施普林格（2017；Zbl 1381.03001） 全文： 内政部
弗洛伊德，朱丽叶（编辑）;Alisa Bokulich（编辑） 阿兰·图灵遗产的哲学探索。图灵100。 （英语） Zbl 1380.01010号 波士顿科学哲学和科学史研究324.查姆：施普林格（ISBN 978-3-319-53278-3/hbk；978-3-3169-53280-6/电子书）。十七、361页。(2017). 审核人：Robert W.van der Waall（阿姆斯特丹） MSC公司：01-06 01A60型 00A65号 01A70号 00B25型 03-03 03轴 68-03 68季度xx 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Floyd}（编辑）和textit{A.Bokulich}（主编），阿兰·图灵遗产的哲学探索。图灵100。查姆：斯普林格（2017；Zbl 1380.01010） 全文： 内政部
冯·柏拉图，简 这台大型正规机械运转正常。数字时代起源的演绎和计算理论。 （英语） Zbl 1380.03008号 新泽西州普林斯顿：普林斯顿大学出版社（ISBN 978-0-691-17417-4/hbk；978-1-4008-8503-9/电子书）。ix，第377页。(2017). 审核人：托马斯·索纳（布伦瑞克） MSC公司：03-03 68-03 01-02 01A05号 00A30型 03A05号 第68季度01 PDF格式BibTeX公司 XML格式引用 \文本{J.von Plato}，伟大的形式机器工作。数字时代起源的演绎和计算理论。新泽西州普林斯顿：普林斯顿大学出版社（2017；Zbl 1380.03008） 全文： 内政部
福特诺，兰斯 罗德的复杂性。 （英语） Zbl 1360.68508号 Day，Adam（编辑）等人，《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。商会：施普林格出版社（ISBN 978-3-319-50061-4/pbk；978-3-319-50062-1/电子书）。计算机科学课堂讲稿10010115-121（2017）。MSC公司：65年第68季度 01A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fortnow}，莱克特。注释计算。科学。10010115--121（2017年；Zbl 1360.68508） 全文： 内政部
尤里·玛宁。 认知和复杂性。 （英语） Zbl 1388.00014号 Burgin，Mark（编辑）等人，《信息与复杂性》。新泽西州哈肯萨克：世界科学（ISBN 978-981-3109-02-5/hbk；978-981-3 109-04-9/电子书）。《信息研究世界科学丛书》6，338-352（2017）。 审核人：哈伊姆·基洛夫（米林顿） MSC公司：00A30型 01A80号 第68季度01 第97页第20页 91E40型 PDF格式BibTeX公司 XML格式引用 \textit{Y.I.Manin}，《世界科学》。序列号。Inf.Stud.6，338--352（2017；Zbl 1388.00014） 全文： 内政部
天，亚当（编辑）;研究员，迈克尔（编辑）;诺姆·格林伯格（编辑）;巴哈迪尔·库萨诺夫（编辑）;亚历山大·梅尔尼科夫（编辑）;弗朗西斯·罗萨蒙德（编辑） 可计算性和复杂性。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。 （英语） Zbl 1352.03004号 计算机科学课堂讲稿10010.查姆：施普林格（ISBN 978-3-319-50061-4/pbk；978-3-3169-50062-1/电子书）。第十八章，755页。(2017).MSC公司：03-06 01A70号 03B30型 03C57 03年月日 2005年第68季度 2015年第68季度 65年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Day}（编辑）等人，《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆：斯普林格（2017；Zbl 1352.03004） 全文： 内政部
科普兰，B.杰克（编辑）;乔纳森·鲍文（Jonathan P.Bowen）。（编辑）;马克·斯普雷瓦克（编辑）;威尔逊，罗宾（编辑） [露丝·E·贝克。;梅维斯·贝蒂;玛格丽特·博登。;坎贝尔-凯利，马丁;布莱恩·卡彭特（Brian E.Carpenter）。;凯瑟琳·考基;罗伯特·多兰（Robert W.Doran）。;罗德·唐尼;艾沃Grattan Guinness;乔尔·格林伯格;西蒙·格林;彼得·希尔顿;爱尔兰，埃莉诺;大卫·莱维特;长，杰森;菲利普·梅尼（Philip K.Maini）。;丹尼·普林兹;骄傲的脚，戴安;布莱恩·兰德尔;伯纳德·理查兹;杰里·罗伯茨;奥隆·沙格里尔;爱德华·辛普森;多龙·斯瓦德;约翰·德莫特·图灵;简·瓦伦丁;罗宾·惠蒂;斯蒂芬·沃尔夫拉姆;托马斯·伍利（Thomas E.Woolley）。] 图灵指南。由杰克·科普兰、乔纳森·鲍文、马克·斯普雷瓦克和罗宾·威尔逊编辑。 （英语） Zbl 1382.68011号 牛津：牛津大学出版社（ISBN 978-0-19-874782-6/hbk；978-0-19-19-874783-3/pbk）。xv，546页。(2017). 审核人：安德烈亚斯·维切特（里斯本） MSC公司：68-06 68-01 68-03 01A60型 01A70号 2005年第68季度 94A60型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.J.Copeland}（编辑）等人，《图灵指南》。由杰克·科普兰、乔纳森·鲍恩、马克·斯普雷瓦克和罗宾·威尔逊编辑。牛津：牛津大学出版社（2017；Zbl 1382.68011）
Iohara、Kenji;菲利普·马尔博斯 从分析力学问题到通过M.Janet重写理论。 arXiv公司：1801.00053 预印本，arXiv:1801.00053[math.HO]（2017）。MSC公司：01-08 13页第10页 2005年12月 35A25型 58甲15 2012年第68季度 BibTeX公司 引用 \textit{K.Iohara}和\textit{P.Malbos}，“从分析力学问题到通过M.Janet重写理论”，预印本，arXiv:1801.00053[math.HO]（2017） 全文： arXiv公司 OA许可证
威廉·鲍尔·德·罗弗 最热烈的祝贺，弗兰克！ （英语） Zbl 1475.68013号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 9-11 (2016).MSC公司：68-03 01A70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}，莱克特。注释计算。科学。9660，9--11（2016；Zbl 1475.68013） 全文： 内政部
帕南加登，普拉卡什 对弗兰克的美好回忆。 （英语） Zbl 1475.68015号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 6-8 (2016).MSC公司：68-03 01A70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden}，莱克特。注释计算。科学。9660，6--8（2016；Zbl 1475.68015） 全文： 内政部
Krzysztof R.阿普特。 程序验证：犯错是人为的。 （英语） Zbl 1475.68012号 阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 3-5 (2016).MSC公司：68-03 01A70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}，莱克特。注释计算。科学。9660，3-5（2016年；兹比尔1475.68012） 全文： 内政部
马修·琼斯。 用物质来计算。计算机器、创新和思考，从帕斯卡到巴贝奇。 （英语） Zbl 1409.01001号 伊利诺伊州芝加哥：芝加哥大学出版社（ISBN 978-0-226-41146-0/hbk；978-0-224-41163-7/电子书）。第331页。(2016).MSC公司：01-01 01A05号 68-03 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Jones}，用物质来推算。计算机器、创新和思考，从帕斯卡到巴贝奇。伊利诺伊州芝加哥：芝加哥大学出版社（2016；Zbl 1409.01001）
雷内·范·贝文;克里斯蒂安·科穆斯维茨;亨德里克·莫尔特;罗尔夫·尼德迈尔;曼纽尔·索尔吉;托比·沃尔什 通过撤消合并操作h索引。 （英语） Zbl 1394.68194号 Kaminka，Gal A.（编辑）等人，ECAI 2016。第22届欧洲人工智能大会，荷兰海牙，2016年8月29日至9月2日。诉讼程序。包括随同召开的智能系统著名应用会议（PAIS 2016）的会议记录。分2卷。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-671-2/pbk；978-1-6499-672-9/ebook）。人工智能和应用前沿285895-903（2016）。MSC公司：65年第68季度 01A90型 2017年第68季度 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.van Bevern}等人，前面。Artif公司。智力。申请。285895-903（2016；Zbl 1394.68194） 全文： 内政部 arXiv公司 链接
阿拉斯代尔·厄克哈特 书评：Barry Cooper S.（编辑）和Hodges Andrew（编辑），《曾经和未来的图灵》，《计算世界》。 （英语） Zbl 1362.00022号 牛市。赛姆布。日志。 22，第3期，354-356（2016）.MSC公司：00A17年 68-06 00A30型 01A60型 68-03 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Urquhart}，公牛。赛姆布。日志。22，第3号，354--356（2016年；兹bl 1362.00022） 全文： 内政部
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。（编辑）;阿尔贝托，Policriti（编辑） 马丁·戴维斯（Martin Davis），关于可计算性、计算逻辑和数学基础。 （英语） Zbl 1365.03013号 对逻辑的杰出贡献10.查姆：施普林格（ISBN 978-3-319-41841-4/hbk；978-3-3169-41842-1/电子书）。xxvii，438页。(2016).MSC公司：03-06 03B25号 2015年3月1日 2005年第68季度 01A60型 03日第10天 03A05号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}（编辑）和\textit{A.Policriti}（编），马丁·戴维斯关于可计算性、计算逻辑和数学基础。查姆：斯普林格（2016；Zbl 1365.03013） 全文： 内政部
德莫特·图灵 教授：阿兰·图灵解码。 （英语） Zbl 1361.68004号 [S.l.]：历史出版社（ISBN 978-1-84165-660-1/pbk）。第284页。(2016). 审核人：阿尔伯特·C·刘易斯（奥斯汀） MSC公司：68-03 01A60型 01A70号 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Turing}，教授：阿兰·图灵解码。[S.l.]：历史出版社（2016；Zbl 1361.68004）
雷内·范·贝文;克里斯蒂安·科穆塞维茨;罗尔夫·尼德迈尔;曼努埃尔·索奇;托比·沃尔什 \（\mathrm{H}）-通过合并文章进行索引操作：模型、理论和实验。 （英语） Zbl 1386.68076号 Artif公司。智力。 240, 19-35 (2016).MSC公司：65年第68季度 01A90型 2017年第68季度 68兰特 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.van Bevern}等人，Artif。智力。240、19-35（2016；Zbl 1386.68076） 全文： 内政部 arXiv公司
劳尔·罗哈斯 巴贝奇遇到了祖斯：一台最小的机械计算机。 （英语） Zbl 1476.68007号 Amos，Martyn（编辑）等人，《非传统计算和自然计算》。2016年7月11-15日在英国曼彻斯特举行的2016年UCNC第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9726, 25-34 (2016).MSC公司：68-03 01A55号 01A60型 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.罗哈斯}，莱克特。注释计算。科学。9726，25-34（2016；Zbl 1476.68007） 全文： 内政部
约翰·福布斯（John Forbes jun）·纳什（Nash）。（编辑）;迈克尔·托·拉西亚斯。（编辑） 数学开放题。 （英语） Zbl 1351.00027号 查姆：施普林格（ISBN 978-3-319-32160-8/hbk；978-3-3169-32162-2/电子书）。xiii，543页。(2016).MSC公司：00B15号机组 01A70号 2015年第68季度 11路41号 11米26 35季度30 52立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Nash jun.}（编辑）和\textit{M.Th.Rassias}（主编），数学开放题。查姆：斯普林格（2016；Zbl 1351.00027） 全文： 内政部 arXiv公司
克里斯·伯恩哈特 图灵的愿景。计算机科学的诞生。 （英语） 兹比尔1350.68001 马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-03454-8/hbk；978-0-262/3379-5/电子书）。十七、189页。(2016). 审核人：阿尔伯特·C·刘易斯（奥斯汀） MSC公司：68-01 68-03 01A60型 01A70号 03B25号 05年3月 03日第10天 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernhardt}，图灵的愿景。计算机科学的诞生。马萨诸塞州剑桥：麻省理工学院出版社（2016；兹bl 1350.68001）
比姆博，卡塔林（编辑） J.迈克尔·邓恩（J.Michael Dunn）：基于信息的逻辑。 （英语） Zbl 1343.03001号 对逻辑的杰出贡献8.查姆：施普林格（ISBN 978-3-319-29298-4/hbk；978-3-3169-29300-4/电子书）。第十三章，436页。(2016).MSC公司：03-06 00B30型 03B70号 03B45号 68季度xx 00B15号机组 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó}（编辑），J.Michael Dunn，《基于信息的逻辑》。查姆：斯普林格（2016；Zbl 1343.03001） 全文： 内政部
S.Barry库珀（编辑）;安德鲁·霍奇斯（编辑） 曾经和未来的图灵。计算世界。 （英语） Zbl 1332.68004号 剑桥：剑桥大学出版社（ISBN 978-1-107-01083-3/hbk；978-0-521-28250-5/pbk；988-0-511-86319-6/电子书）。十八、379页。(2016).MSC公司：68-06 00A30型 00B15号机组 01A60型 68-03 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Cooper}（编辑）和\textit{A.Hodges}（主编），曾经和未来的图灵。计算世界。剑桥：剑桥大学出版社（2016；Zbl 1332.68004） 全文： 内政部
朱拉吉·赫罗姆科维奇 阿兰·图灵和计算机科学基础。 （英语） 兹比尔1451.68013 乔瓦尼（编辑）等，《图灵的革命》。他的可计算性思想的影响。查姆：Birkhäuser/Springer。273-281 (2015).MSC公司：68-03 00A30型 01A60型 03日第10天 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}，in：图灵革命。他的可计算性思想的影响。查姆：Birkhäuser/Springer。273-281（2015年；兹bl 1451.68013） 全文： 内政部
S.Barry库珀 机器作为数据：涌现性和可定义性的计算视图。 （英语） Zbl 1522.03154号 合成 192，第7期，1955-1988（2015）.MSC公司：03日第10天 03-03 01A60型 03D65年 第68季度01 03天80 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Cooper}，综合192，第7期，1955年--1988年（2015；Zbl 1522.03154） 全文： 内政部 arXiv公司 链接
克里斯蒂安·沃特里奇 对beyond-Turing计算机的广义相对论实现的量子信息理论补充。 （英语） Zbl 1359.81080号 合成 192，第7期，1989-2008（2015）.MSC公司：81页第45页 2005年第68季度 81页68 83A05号 83二氧化碳 83个F05 81V17型 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Wüthrich}，Synthese 192，No.7，1989--2008（2015；Zbl 1359.81080） 全文： 内政部 arXiv公司
《日光》，埃德加·G·。 走向“图灵——计算机科学之父”的历史概念。 （英语） Zbl 1359.68004号 历史。菲洛斯。日志。 36，第3期，205-228（2015）.MSC公司：68-03 01A60型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.G.日光}，历史。菲洛斯。日志。36，第3号，205-228（2015；Zbl 1359.68004） 全文： 内政部
悉尼帕多瓦 洛夫莱斯和巴贝奇的惊险冒险。讲述了著名人物的趣闻轶事。充分展示了各种富有启发性和趣味性的场景；无论是在有无显著差异的引擎中执行。用肖像和科学图表装饰。 （英语） Zbl 1366.68002号 纽约州纽约市：万神殿图书（ISBN 978-0-307-90827-8）。315页。(2015).MSC公司：68-03 01A55号 01A70号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Padua｝，洛夫莱斯和巴贝奇的惊险冒险。讲述了著名和杰出人物的趣闻轶事。充分展示各种有教育意义和有趣的场景；无论是在有无显著差异的引擎中执行。用肖像和科学图表装饰。纽约州纽约市：万神殿图书（2015；Zbl 1366.68002）
达米安·伍兹;特洛·尼利 Yurii Rogozhin对小型通用图灵机领域的贡献。 （英语） Zbl 1357.68069号 芬达姆。通知。 138，编号1-2，251-258（2015）.MSC公司：2005年第68季度 01A70号 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{D.Woods}和\textit{T.Neary}，Fundam。通知。138，编号1--2，251--258（2015；Zbl 1357.68069） 全文： 内政部
埃纳尔·史密斯 卡尔·亚当·佩特里，《生命与科学》。由作者和Tim Denvir从德语翻译而来。 （英语） Zbl 1343.01004号 柏林：施普林格出版社（ISBN 978-3-662-48092-2/hbk；978-3-562-48093-9/电子书）。xi，第128页。(2015).MSC公司：01-02 01A70号 01A60型 68-03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Smith}，Carl Adam Petri，《生命与科学》。作者和Tim Denvir从德语翻译而来。柏林：施普林格出版社（2015；Zbl 1343.01004） 全文： 内政部
弗拉基米尔·沃夫克（编辑）;哈里斯·帕帕佐普洛斯（编辑）;亚历山大·加默曼（编辑） 复杂性度量。Alexey Chervonenkis的Festschrift。 （英语） 兹比尔1331.68020 查姆：施普林格（ISBN 978-3-319-21851-9/hbk；978-3-3169-21852-6/电子书）。xxxi，399页。(2015).MSC公司：68-06 68-03 01A60型 01A61号 01A70号 2015年第68季度 68T05年 68吨10 68层37 68瓦40 00B15号机组 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{V.Vovk}（ed.）等人，《复杂性度量》。阿列克谢·切尔沃内基斯的节日庆典。查姆：斯普林格（2015；Zbl 1331.68020） 全文： 内政部
阿德马尔·布雷尔 书评：S.Turing，Alan M.Turing。百年版。第2版。 （英语） Zbl 1323.00025号 牛市。贝尔格。数学。Soc.-西蒙·斯特文 22，第3号，521（2015）.MSC公司：00A17年 01-02 01A70号 01A60型 68-03 2005年第68季度 92-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Bulthel}，公牛。贝尔格。数学。Soc.-Somon Stevin 22，No.3，521（2015；Zbl 1323.00025）
乔瓦尼·索马鲁加（编辑）;托马斯·斯特拉姆（编辑） 图灵的革命。他的可计算性思想的影响。 （英语） Zbl 1330.68036号 查姆：Birkhäuser/Springer（ISBN 978-3-319-22155-7/hbk；978-3-3169-22156-4/电子书）。第二十四、329页。(2015).MSC公司：68-06 03-03 68-03 01A60型 01A70号 03日第10天 2005年第68季度 2010年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Sommaruga（编辑）和textit{T.Strahm（编辑），图灵的革命。他的可计算性思想的影响。查姆：Birkhäuser/Springer（2015；Zbl 1330.68036） 全文： 内政部
曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特，纳西索;卡罗琳·塔尔科特 莫德二十年。 （英语） Zbl 1321.68007号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲稿9200，232-254（2015）。MSC公司：68-03 01A65号 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，Lect。注释计算。科学。9200、232--254（2015；Zbl 1321.68007） 全文： 内政部
Gilles Dowek 计算、验证、机器。数学进入了一个新时代。皮埃尔·吉洛（Pierre Guillot）和马里恩·罗曼（Marion Roman）从法语翻译而来。 （英语） 兹比尔1318.01002 剑桥：剑桥大学出版社（ISBN 978-0-521-13377-7/pbk；978-0-5.21-11801-9/hbk）。viii，152页。(2015).MSC公司：01-02 03-03 03B35型 03B40型 03B70号 03年月日 03Fxx公司 68倍 68-02 68-03 68甲18 68季度xx 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，计算，证明，机器。数学进入了一个新时代。皮埃尔·吉洛（Pierre Guillot）和马里恩·罗曼（Marion Roman）从法语翻译而来。剑桥：剑桥大学出版社（2015；Zbl 1318.01002）
Vasbinder，Jan W。（编辑） 啊哈……真有趣！约翰·霍兰德，85岁。 （英语） Zbl 1298.01009号 探索复杂性1.新泽西州哈肯萨克：世界科学（ISBN 978-981-4619-86-8/hbk；978-981-14619-88-2/电子书）。160页。(2015).MSC公司：01-06 01A70号 01A60型 68-03 2015年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Vasbinder}（编辑），啊哈，真有趣！约翰·霍兰德，85岁。新泽西州哈肯萨克：世界科学（2015；Zbl 1298.01009） 全文： 内政部
福特诺，兰斯;史蒂文·霍默 计算复杂性。 （英语） Zbl 1404.68004号 Gabbay，Dov M.（编辑）等人，《计算逻辑》。阿姆斯特丹：爱思唯尔/北荷兰（ISBN 978-0-444-51624-4/hbk）。《逻辑史手册》9，495-521（2014）。MSC公司：68-03 01A60型 01A61号 2015年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fortnow}和\textit{S.Homer}，Handb。历史。日志。9495-521（2014年；Zbl 1404.68004）
Jos C.M.Baeten。;戴维·桑吉奥吉 并发理论：关于共创和过程计算的历史观点。 （英语） 兹比尔1404.68003 Gabbay，Dov M.（编辑）等人，《计算逻辑》。阿姆斯特丹：爱思唯尔/北荷兰（ISBN 978-0-444-51624-4/hbk）。《逻辑史手册》9，399-442（2014）。MSC公司：68-03 01A60型 01A61号 03B45号 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{D.Sangiorgi}，Handb。历史。日志。9、399--442（2014年；Zbl 1404.68003）
约格·西克曼 计算逻辑。 （英语） Zbl 1404.03013号 Gabbay，Dov M.（编辑）等人，《计算逻辑》。阿姆斯特丹：爱思唯尔/北荷兰（ISBN 978-0-444-51624-4/hbk）。《逻辑史手册》9，15-30（2014）。MSC公司：03-03 03B70号 01A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.西克曼}，Handb。历史。日志。9、15--30（2014；Zbl 1404.03013）
桑吉夫·阿罗拉 Subhash Khot的作品。 （英语） Zbl 1373.68015号 Jang，Sun Young（编辑）等人，《国际数学家大会论文集》（ICM 2014），韩国首尔，2014年8月13日至21日。第一卷：全体讲座和仪式。首尔：KM Kyung Moon Sa（ISBN 978-89-6105-804-9/hbk；978-89-6 105-803-2/套）。80-88 (2014).MSC公司：68-03 01A60型 01A61号 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{S.Arora}，收录于：国际数学家大会（ICM 2014），韩国首尔，2014年8月13-21日。第一卷：全体讲座和仪式。首尔：KM Kyung Moon Sa.80-88（2014年；兹bl 1373.68015）
阿尔维·雷·史密斯 他的正义宣言：四本书的评论。书评：A.Hodges，Alan Turing：谜；S.Turing，Alan M.Turing。百年纪念版，第二版。；B.J.科普兰，阿兰·图灵的电子大脑。努力建造世界上最快的计算机ACE；B.J.Copeland，Turing，信息时代的先驱。 （英语） 兹比尔1338.00029 美国数学通告。Soc公司。 61，第8期，891-895（2014）.MSC公司：00A17年 68-03 01A70号 01A60型 第68季度01 01-02 2005年第68季度 92-03 00A09号 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Smith}，《美国数学通告》。Soc.61，No.8，891--895（2014；Zbl 1338.00029） 全文： 内政部
布莱恩·E·布兰克。 书评：G.戴森，图灵大教堂。数字世界的起源。 （英语） Zbl 1338.00012号 美国数学通告。Soc公司。 61，第7期，759-767（2014）.MSC公司：00A17年 68-03 01A60型 01A70号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.E.Blank}，注意美国数学。Soc.61，No.7，759--767（2014；Zbl 1338.00012） 全文： 内政部
罗德·唐尼（编辑） 图灵的遗产。图灵逻辑思想的发展。 （英语） Zbl 1341.03002号 逻辑讲义42.剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（ISBN 978-1-107-04348-0/hbk；978-1-107-23858-7/pbk；978-1-107-33857-9/电子书）。x、 第529页。(2014).MSC公司：03-03 03日第10天 68-03 2005年第68季度 01A70号 01A60型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}（编辑），图灵的遗产。图灵逻辑思想的发展。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（2014；Zbl 1341.03002） 全文： 内政部
唐纳德·科努特（Donald E.Knuth）。;《日光》，埃德加·G·。 库尔特·德·格雷夫（编辑） 算法障碍下降：P=NP？2014年6月18日，Edgar G.Daylight在巴黎与Donald E.Knuth的对话。Kurt De Grave编辑。 （英语） Zbl 1335.68003号 对话4.海弗利：孤独学者（ISBN 978-94-91386-04-6/pbk）。i、 116页。(2014). 审核人：Efstratios Rappos（奥邦） MSC公司：68-03 68-01 01A60型 01A65号 01A67号 01A70号 2015年第68季度 65年第68季度 68单位15 68瓦40 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Knuth}等人，算法障碍下降：P=NP？2014年6月18日，Edgar G.Daylight在巴黎与Donald E.Knuth的对话。Kurt De Grave编辑。海弗利：孤独学者（2014；Zbl 1335.68003）
马里奥·洛萨诺。 都灵巴贝奇的计算机。（都灵巴贝奇大教堂） （意大利语） Zbl 1326.68007号 我创作了《歌剧院10》。佛罗伦萨：Leo S.Olschki编辑（ISBN 978-88-222-6382-7）。lxvi，170页。(2014).MSC公司：68-03 第68季度01 01A55号 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Losano}，La macchina da calcolo di Babbage a Torino（意大利语）。佛罗伦萨：Leo S.Olschki编辑（2014；Zbl 1326.68007）
让·莫斯科尼 1936年至20世纪60年代机器可计算性概念的发展。 （英语） Zbl 1336.03002号 Dubucs，Jacques（编辑）等人，《历史和哲学视角下的建构性和可计算性》。多德雷赫特：施普林格（ISBN 978-94-017-9216-5/hbk；978-94-017-9217-2/电子书）。《逻辑、认识论和科学的统一》34、37-56（2014）。MSC公司：03-03 01A60型 03日第10天 2005年第68季度 68-03 PDF格式BibTeX公司 XML格式引用 \textit｛J.Mosconi｝，日志。认识论。统一科学。34、37-56（2014；Zbl 1336.03002） 全文： 内政部
Dov M.加巴伊。（编辑）;谢克曼，Jörg H。（编辑）;伍兹，约翰（编辑） 计算逻辑。 （英语） Zbl 1311.03006号 逻辑史手册9.阿姆斯特丹：爱思唯尔/北荷兰（ISBN 978-0-444-51624-4/hbk）。xii，734页。(2014).MSC公司：03-06 03-03 03-04 68-03 01A60型 03B70号 第68页，共15页 68季度xx 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}（编辑）等人，《计算逻辑》。阿姆斯特丹：爱思唯尔/北荷兰（2014；Zbl 1311.03006） 全文： 链接
萨拉·图灵 [马丁·戴维斯;林·欧文;约翰·图灵;艾伦·图灵。] 阿兰·图灵（Alan M.Turing），百年纪念版。引言由马丁·戴维斯和林·欧文撰写，后记由约翰·图灵撰写。第二版，重印2012精装版。 （英语） Zbl 1301.01001号 剑桥：剑桥大学出版社（ISBN 978-1-107-52422-4/pbk）。第二十四、169页。(2014).MSC公司：01-02 01A70号 01A60型 68-03 2005年第68季度 92-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Turing}，Alan M.Turing。百年版。马丁·戴维斯（Martin Davis）和林·欧文（Lyn Irvine）的前言和约翰·图灵（John Turing）的后记。第二版，2012年精装版的再版。剑桥：剑桥大学出版社（2014；Zbl 1301.01001） 全文： 内政部
安德鲁·霍奇斯 [道格拉斯·霍夫斯塔特] 艾伦·图灵：谜。这本书激发了电影《模仿游戏》的灵感。道格拉斯·霍夫施塔特（Douglas Hofstadter）的前言和作者的新前言。2012年原版的更新版。 （英语） Zbl 1301.68007号 新泽西州普林斯顿：普林斯顿大学出版社（ISBN 978-0-691-16472-4；978-1-400-86512-3/电子书）。xxxii，736页。(2014).MSC公司：68-03 01A70号 01A60型 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{A.Hodges}，阿兰·图灵：谜。这本书激发了电影《模仿游戏》的灵感。道格拉斯·霍夫施塔特（Douglas Hofstadter）的前言和作者的新前言。2012年原版的更新版。新泽西州普林斯顿：普林斯顿大学出版社（2014；Zbl 1301.68007） 全文： 内政部
约翰·米尔诺 阿雷塞利·博尼芬特（编辑） 约翰·米尔诺的论文集。VII： 动力系统（1984–2012）。由Araceli Bonifant编辑。 （英语） Zbl 1337.37002号 普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-0937-1/hbk）。十六、592页。(2014). 审核人：托马斯·沃德（达勒姆） MSC公司：37-06 54H20个 第26页第18页 28天20分 32小时50分 68问题80 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Milnor}和\textit{A.Bonifant}（编辑），约翰·米尔诺的论文集。七： 动力系统（1984-2012）。由Araceli Bonifant编辑。普罗维登斯，RI:美国数学学会（AMS）（2014；Zbl 1337.37002）
雅克·杜布克斯（编辑）;米歇尔·波尔多（编辑） 历史和哲学视角下的可构建性和可计算性。 （英语） Zbl 1297.03004号 逻辑、认识论与科学的统一34.多德雷赫特：施普林格（ISBN 978-94-017-9216-5/hbk；978-94-017-9217-2/电子书）。xi，第214页。(2014).MSC公司：03-06 03-03 01A60型 00A30型 2015年3月1日 03D20日 03楼50 2015年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubucs}（编辑）和textit{M.布尔多}（主编），历史和哲学视角中的建构性和可计算性。多德雷赫特：施普林格（2014；Zbl 1297.03004） 全文： 内政部
萨姆森·艾布拉姆斯基 上下文中的事件。 （英语） Zbl 1360.68623号 西奥。计算。科学。 546, 7-9 (2014).MSC公司：68问题85 01A70号 68-03 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \文本{S.Abramsky}，Theor。计算。科学。546、7--9（2014年；Zbl 1360.68623） 全文： 内政部
尼尔森，莫根斯 信任活动结构。 （英语） Zbl 1360.68633号 西奥。计算。科学。 546, 3-6 (2014).MSC公司：68问题85 01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \文本{M.尼尔森}，Theor。计算。科学。546，3--6（2014；Zbl 1360.68633） 全文： 内政部
特德·刘易斯（Ted G.Lewis）。 极端之书。为什么21世纪不像20世纪。 （英语） Zbl 1291.00051号 哥白尼。查姆：施普林格（ISBN 978-3-319-06925-8/pbk；978-3-3169-06926-5/ebook）。x、 184页。(2014).MSC公司：00A69号 62-02 91F10层 86A32型 68季度xx 01A61号 62第25页 91天30分 91Gxx公司 PDF格式BibTeX公司 XML格式引用 \textit{T.G.Lewis}，《极端之书》。为什么21世纪不同于20世纪。查姆：斯普林格（2014；Zbl 1291.00051） 全文： 内政部
瓦斯科·布拉特卡（编辑）;汉内斯·迪纳（编辑）;斯普林，迪特（编辑） 逻辑、计算、层次结构。在维克多·L·塞利瓦诺夫60岁生日之际献给他。 （英语） Zbl 1294.03011号 Ontos数理逻辑4.柏林：De Gruyter（ISBN 978-1-61451-783-2/hbk；978-1-61481-804-4/电子书）。x、 413页。(2014).MSC公司：03-06 03年月日 03埃克斯 03Cxx号 03Bxx号 05年3月 06轴 05年6月 54E40型 68季度xx 00B30型 01A70号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}（编辑）等人，《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林：De Gruyter（2014；Zbl 1294.03011） 全文： 内政部
埃纳尔·史密斯 卡尔·亚当·佩特里。传记。（卡尔·亚当·佩特里，《艾因传记》） （德语） Zbl 1341.01050号 柏林：Springer Vieweg（ISBN 978-3-642-40221-0/hbk；978-3-442-40222-7/电子书）。xiii，128页。(2014). 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：01-02 01A70号 01A60型 68-03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Smith}，卡尔·亚当·佩特里（Carl Adam Petri）。艾恩传记。柏林：Springer Vieweg（2014；Zbl 1341.01050） 全文： 内政部
巴特·德·凯伊泽;Krzysztof R.阿普特。 H指数很容易操作。 （英语） Zbl 1394.68193号 牛市。欧洲协会。计算。科学。EATCS公司 110, 79-85 (2013).MSC公司：65年第68季度 01A90型 2017年第68季度 68卢比 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{B.de Keijzer}和\textit{K.R.Apt}，公牛。欧洲协会。计算。科学。EATCS 110、79--85（2013；Zbl 1394.68193） 全文： arXiv公司 链接
奥里亚·安格拉·德索霍;胡安·阿雷斯;胡安·拉腊（Juan A.Lara）。;大卫·利兹卡诺;马丁内斯，玛丽亚·a。;胡安·帕佐斯 图灵和现代计算机的偶然发现。 （英语） Zbl 1392.68006号 已找到。科学。 18，第3期，545-557（2013）.MSC公司：68-03 01A60型 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Anguera de Sojo}等人，发现。科学。18，编号3455-557（2013年；兹bl 1392.68006） 全文： 内政部
斯蒂芬·沃尔夫拉姆 数学基础新方向（2002年）。 （英语） Zbl 1315.68122号 彼得·保罗（编辑），《数学、计算机科学和逻辑》——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。查姆：施普林格（ISBN 978-3-319-00965-0/hbk；978-3-3169-00966-7/电子书）。69-100（2013年）。MSC公司：第68季度01 00A35型 01A67号 03B35型 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{S.Wolfram}，in：数学、计算机科学和逻辑——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。查姆：斯普林格。69-100（2013年；Zbl 1315.68122） 全文： 内政部
大卫·H·贝利。 一种新的科学：十年后。 （英语） Zbl 1298.68016号 Zenil，Hector（编辑），《不可约性和计算等价性》。在沃尔夫拉姆成为一门新科学10年后。柏林：施普林格出版社（ISBN 978-3-642-35481-6/hbk；978-3-442-35482-3/电子书）。《涌现、复杂性与计算》2，67-76（2013）。MSC公司：68-03 68问题80 01A61号 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Bailey}，紧急情况复杂。计算。2、67-76（2013年；Zbl 1298.68016） 全文： 内政部
莫里斯·马根斯坦 阿兰·图灵留给我们的。（Ce qu’Alan Turing nous a laissé） （法语） Zbl 1310.01020号 加兹。数学。，社会数学。神父。 135, 17-31 (2013). 审核人：乌比拉坦·丹布罗西奥（圣保罗） MSC公司：01A70号 01A60型 68-03 68季度xx PDF格式BibTeX公司 XML格式引用 \文本{M.Margenstern}，Gaz。数学。，社会数学。Fr.135，17-31（2013；Zbl 1310.01020）
李明 部分匹配距离。纪念雷·所罗门诺夫1926年至2009年。 （英语） 兹比尔1403.68087 Dowe，David L.（编辑），算法概率和朋友。贝叶斯预测和人工智能。2011年11月30日至12月2日，澳大利亚维多利亚州墨尔本，雷·所罗门诺夫第85届纪念大会的论文。柏林：施普林格出版社（ISBN 978-3-642-44957-4/pbk）。计算机科学课堂讲稿7070。人工智能课堂讲稿，55-64（2013）。MSC公司：68问题30 01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{M.Li}，莱克特。注释计算。科学。7070、55-64（2013；Zbl 1403.68087） 全文： 内政部
David L.Dowe。 雷·所罗门诺夫第85次纪念大会简介。 （英语） Zbl 1403.68006号 Dowe，David L.（编辑），算法概率和朋友。贝叶斯预测和人工智能。2011年11月30日至12月2日，澳大利亚维多利亚州墨尔本，雷·所罗门诺夫第85届纪念大会的论文。柏林：施普林格出版社（ISBN 978-3-642-44957-4/pbk）。计算机科学讲义7070。人工智能课堂讲稿，1-36（2013）。MSC公司：68-03 01A70号 60克25 68问题30 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Dowe}，莱克特。注释计算。科学。7070，1--36（2013；Zbl 1403.68006） 全文： 内政部