亚历山大·鲍姆加特纳;特默尔库西亚;Levy,乔迪;马图·维拉雷特 线性时间内的高阶模式反统一。 (英语) Zbl 1407.68089号 J.汽车。推理 58,第2期,293-310(2017).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baumgartner}等人,J.Autom。推理58,No.2,293--310(2017;Zbl 1407.68089) 全文: 内政部
Ganesalingam,M。;W.T.Gowers。 具有人性化输出的全自动定理证明器。 (英语) 兹比尔1405.03035 J.汽车。推理 58,第2期,253-291(2017).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganesalingam}和\textit{W.T.Gowers},J.Autom。推理58,No.2,253--291(2017;Zbl 1405.03035) 全文: 内政部
罗查·奥利维拉,安娜·克里斯蒂娜;安德烈·路易斯·加尔迪诺;毛里西奥·阿亚拉·林科恩 原型验证系统中正交项重写系统的汇合。 (英语) Zbl 1407.68441号 J.汽车。推理 58,第2期,231-251(2017).MSC公司:68吨15 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Rocha-Oliveira}等人,J.Autom。推理58,No.2,231--251(2017;Zbl 1407.68441) 全文: 内政部
加布里埃尔·布劳恩;朱利安·纳布克斯 塔斯基几何中帕普斯定理的综合证明。 (英语) Zbl 1405.03034号 J.汽车。推理 58,第2期,209-230(2017).MSC公司:03B35型 2004年5月5日 2005年5月5日 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Braun}和\textit{J.Narboux},J.Autom。推理58,No.2,209--230(2017;Zbl 1405.03034) 全文: 内政部 哈尔