塞尔默布林斯乔尔 程序验证的证明。 (英语) Zbl 1359.68186号 历史。菲洛斯。日志。 36,第3期,262-277(2015).MSC公司:60年第68季度 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bringsjord},Hist(历史)。菲洛斯。日志。36,第3号,262--277(2015;Zbl 1359.68186) 全文: 内政部
利斯贝斯·德·莫尔(编辑);朱塞佩·普里梅罗(编辑) 当逻辑与工程相遇:计算机科学历史和哲学中的逻辑问题导论。 (英语) Zbl 1355.68014号 历史。菲洛斯。日志。 36,第3期,195-204(2015).MSC公司:68-06 68-03 03B70号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.De Mol}(编辑)和\textit{G.Primiero}(主编),历史。菲洛斯。日志。36,第3号,195--204(2015;Zbl 1355.68014) 全文: 内政部 链接