丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示(扩展版)。 (英语) Zbl 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) 全文: 内政部
丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示。 (英语) Zbl 1409.68260号 Kerber,Manfred(编辑)等人,《智能计算机数学》。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9150227-242(2015年)。MSC公司:68吨15 68卢比 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,Lect。注释计算。科学。9150227--242(2015;Zbl 1409.68260) 全文: 内政部 arXiv公司