丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示(扩展版)。 (英语) 兹比尔1409.68261 数学。计算。科学。 10,第4期,429-457(2016).MSC公司:68吨15 68卢比 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,《数学》。计算。科学。10,第4号,429--457(2016;Zbl 1409.68261) 全文: 内政部 OA许可证
塞萨里·卡利西克;约瑟夫·乌尔班 HOL(y)Hammer:HOL Light的在线ATP服务。 (英语) Zbl 1322.68177号 数学。计算。科学。 9,第1期,5-22(2015).MSC公司:68吨15 68T05型 68T20型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{J.Urban},数学。计算。科学。9、第1号、第5--22号(2015;Zbl 1322.68177) 全文: 内政部 arXiv公司 OA许可证