阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 抽象证明检查:由不完全性定理驱动的示例。 (英语) Zbl 0890.03004号 J.汽车。推理 19,第3期,319-346(1997). 审核人:M.P.Bonacina(爱荷华市) MSC公司:03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人,J.Autom。推理19,No.3,319--346(1997;Zbl 0890.03004) 全文: 内政部
福斯托·金奇利亚;托比·沃尔什 不一致的抽象空间的必然性。 (英语) Zbl 0784.68075号 J.汽车。推理 11,第1期,23-41(1993).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{T.Walsh},J.Autom。推理11,No.1,23--41(1993;Zbl 0784.68075) 全文: 内政部
福斯托·金奇利亚;托比·沃尔什 抽象理论。 (英语) 兹比尔0762.68054 Artif公司。智力。 57,编号2-3,323-389(1992).MSC公司:第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{T.Walsh},Artif。智力。57,编号2--3,323--389(1992;Zbl 0762.68054) 全文: 内政部
福斯托·金奇利亚;托比·沃尔什 抽象定理证明。 (英语) Zbl 0708.68066号 IJCAI-89,程序。国际会议,密歇根州底特律,美国1989年,372-377(1989)。 审核人:N.Curteanu公司 MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式