朱迪·汤利。 基于解析的定理证明的实用方法。 (英语) Zbl 0436.68059号 国际期刊计算。通知。科学。 9, 93-116 (1980).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Townley},国际计算机杂志。通知。科学。9、93——116(1980年;Zbl 0436.68059) 全文: DOI程序
敏克,杰克;VanderBrug,Gordon J。 定理证明器的语言识别问题的表示。 (英语) Zbl 0284.68067号 国际期刊计算。通知。科学。 3, 217-250 (1974).MSC公司:68吨15 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{J.Minker}和\textit{G.J.VanderBrug},国际计算机杂志。通知。科学。3217-250(1974年;Zbl 0284.68067) 全文: DOI程序
杰克·明克尔;詹姆斯·麦克斯基明(James R.McSkimin)。;丹尼尔·菲什曼。 MRPPS——一个交互式反驳证明程序系统,用于回答问题。 (英语) Zbl 0279.68064号 国际期刊计算。通知。科学。 3, 105-122 (1974).MSC公司:68吨15 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{J.Minker}等人,《国际计算杂志》。通知。科学。3105--122(1974年;Zbl 0279.68064) 全文: DOI程序