唐纳德·洛夫兰。;大卫·W·里德。;Debra S.威尔逊。 SATCHMORE:具有相关性的SATCHMO。 (英语) Zbl 0939.68824号 J.自动化。推理 14,第2期,325-351(1995).MSC公司:68吨15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Loveland}等人,J.Autom。推理14,No.2,325--351(1995;Zbl 0939.68824) 全文: DOI程序
卡普尔,迪帕克;西瓦库马尔,G。;张汉涛 用于证明AC重写系统终止的路径排序。 (英语) Zbl 0819.68115号 J.自动化。推理 14,第2期,293-316(1995).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,J.Autom。推理14,No.2,293--316(1995;Zbl 0819.68115) 全文: DOI程序
周尚卿;高小山;张景忠 立体几何中传统证明的自动生成。 (英语) Zbl 0824.03005号 J.自动化。推理 14,第2期,257-291(1995).MSC公司:03B35型 2015年11月51日 51平方米25 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}等人,J.Autom。推理14,No.2,257--291(1995;Zbl 0824.03005) 全文: DOI程序
艾伦·拉姆齐 内涵逻辑的定理证明。 (英语) Zbl 1430.68420号 J.自动化。推理 14,第2期,237-255(1995).MSC公司:68伏15 03B65型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramsay},J.Autom。推理14,No.2,237--255(1995;Zbl 1430.68420) 全文: DOI程序
阿黛尔·布胡拉;米歇尔·鲁西诺维奇 条件理论中的隐含归纳法。 (英语) 兹伯利0819.68114 J.自动化。推理 14,第2期,189-235(1995).MSC公司:68吨15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}和\textit{M.Rusinovitch},J.Autom。推理14,No.2,189--235(1995;Zbl 0819.68114) 全文: DOI程序