Farmer,William M。 将引用和评价纳入教会的类型理论。 (英语) 兹比尔1390.68168 Inf.计算。 260, 9-50 (2018).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},信息计算。260,9-50(2018;Zbl 1390.68168) 全文: 内政部 arXiv公司
迪特尔·赫特 演绎作为一门工程科学。 (英语) Zbl 1261.68102号 Dahn,Ingo(ed.)等人,FTP’2003:第四届一阶定理证明国际研讨会。研讨会会议记录(与RDP’03,改写、演绎和编程联合会议相关),西班牙巴伦西亚,2003年6月12日至14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》86,第1期,第1-8页(2003年)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Hutter},电子。注释Theor。计算。科学。86,编号1,1--8(2003;Zbl 1261.68102) 全文: 内政部
Farmer,William M。;约书亚·D·古特曼。;哈维尔·塞耶 IMPS:一个交互式数学证明系统。 (英语) Zbl 0802.68129号 J.汽车。推理 11,第2期,213-248(1993).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}等人,J.Autom。推理11,No.2,213--248(1993;Zbl 0802.68129) 全文: 内政部