大卫·阿斯皮纳尔;丹尼,尤恩;克里斯托夫·吕斯 分级证明的策略。 (英语) Zbl 1205.68359号 数学。计算。科学。 3,第3号,309-330(2010).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,数学。计算。科学。3,第3号,309--330(2010;Zbl 1205.68359) 全文: 内政部
大卫·阿斯皮纳尔;丹尼,尤恩;克里斯托夫·吕斯 嬉皮士的战术语言。 (英语) Zbl 1166.68336号 Autexier,Serge(编辑)等人,《智能计算机数学》。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85109-7/pbk)。计算机科学课堂讲稿5144。人工智能课堂讲稿,339-354(2008)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,Lect。注释计算。科学。5144、339--354(2008年;Zbl 1166.68336) 全文: 内政部