Quaife,艺术 冯·纽曼-贝纳斯-哥德尔集理论中的自动演绎。 (英语) Zbl 0768.03005号 J.汽车。推理 8,第1期,91-147(1992). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B35型 03E70型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Quaife},J.Autom(汽车杂志)。推理8,No.1,91--147(1992;Zbl 0768.03005) 全文: 内政部
Quaife,艺术 初等数论中尚未解决的问题。 (英语) Zbl 0954.68512号 J.汽车。推理 7,第2期,287-300(1991年).MSC公司:68吨15 03B35型 11U99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Quaife},J.Autom(汽车杂志)。推理7,No.2,287--300(1991;Zbl 0954.68512) 全文: 内政部
Quaife,艺术 塔斯基几何的自动化开发。 (英语) Zbl 0683.68082号 J.汽车。推理 第5期,第1期,97-118页(1989年). 审核人:芬斯克(Ch.Fenske) MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Quaife},J.Autom(汽车杂志)。推理5,No.1,97--118(1989;Zbl 0683.68082) 全文: 内政部
Quaife,艺术 Löb定理和Gödel两个不完全性定理的自动证明。 (英语) Zbl 0657.03007号 J.汽车。推理 4,第2期,219-231(1988). 审核人:李翔 MSC公司:03B35型 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Quaife},J.Autom(汽车杂志)。推理4,No.2,219--231(1988;Zbl 0657.03007) 全文: 内政部