安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 Matita交互式定理证明程序中编程语言的形式元理论。 (英语) 兹比尔1260.68363 J.汽车。推理 49,第3期,427-451(2012).MSC公司:68吨15 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}等人,J.Autom。推理49,No.3,427--451(2012;Zbl 1260.68363) 全文: 内政部
安德烈亚·阿斯佩蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西;斯特凡诺·扎奇罗利 用户与Matita校对助手的交互。 (英语) Zbl 1132.68673号 J.汽车。推理 39,第2期,109-139(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}等人,J.Autom。推理39,No.2,109--139(2007;Zbl 1132.68673) 全文: 内政部