Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔50年的逻辑。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog},正式Asp。计算。31,第6号,751--807(2019;Zbl 1427.68008) 全文: 内政部 arXiv公司 链接
Damien Pous;戴维·桑吉奥吉 共刺激和共诱导增强:历史视角。 (英语) 兹比尔1427.68010 正式Asp。计算。 31,第6号,733-749(2019).MSC公司:68-03 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}和\textit{D.Sangiorgi},正式Asp。计算。31,编号6,733--749(2019;Zbl 1427.68010) 全文: 内政部 链接
J Strother摩尔 从纯Lisp定理证明器到ACL2的里程碑。 (英语) Zbl 1427.68348号 正式Asp。计算。 31,第6号,699-732(2019).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{J S.Moore},正式Asp。计算。31,第6号,699--732(2019;Zbl 1427.68348) 全文: 内政部
劳伦斯·C·鲍尔森。;托比亚斯·尼普科;马卡里乌斯·温泽尔 从LCF到Isabelle/HOL。 (英语) Zbl 1427.68349号 正式Asp。计算。 31,第6号,675-698(2019).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}等人,正式Asp。计算。31,第6号,675--698(2019;Zbl 1427.68349) 全文: 内政部 arXiv公司
托马斯·海格 将史前史整理成正式的方法:个人观点。 (英语) Zbl 1427.68009号 正式Asp。计算。 31,第6号,663-674(2019).MSC公司:68-03 68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Haigh},正式Asp。计算。31,第6号,663--674(2019;Zbl 1427.68009) 全文: 内政部
克利夫·琼斯(编辑);何塞·奥利维拉(编辑) 编辑。 (英语) Zbl 1427.68013号 正式Asp。计算。 31,6号,661(2019).MSC公司:68-06 68-03 68季度xx 68伏15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Jones}(编辑)和\textit{J.Oliveira}(主编),正式Asp。计算。31,第661号(2019年;兹bl 1427.68013) 全文: 内政部
纳鸿·德肖维茨;理查德·沃尔丁格 佐哈尔·曼纳(1939-2018)。 (英语) Zbl 1427.01018号 正式Asp。计算。 31,第6号,643-660(2019).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{R.Waldinger},正式Asp。计算。31,No.6,643--660(2019;Zbl 1427.01018) 全文: 内政部