张汉涛;标签,马克 实施Davis-Putnam方法。 (英语) 兹比尔0967.68148 J.汽车。推理 24,编号1-2,277-296(2000).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{M.Stickel},J.Autom。推理24,No.1--2,277--296(2000;Zbl 0967.68148) 全文: 内政部
Stickel,Mark E。 模型消除理论的自上而下的元解释,为演绎和推理提供了程序。 (英语) Zbl 0819.68113号 J.汽车。推理 13,第2期,189-210(1994).MSC公司:68吨15 03B35型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Stickel},J.Autom。推理13,No.2,189--210(1994;Zbl 0819.68113) 全文: 内政部
Stickel,Mark E。 Prolog技术定理证明器:由扩展Prolog编译器实现。 (英语) Zbl 0662.68104号 J.汽车。推理 4,第4号,353-380(1988). 审核人:N.Curteanu公司 MSC公司:68吨15 68T20型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Stickel},J.Autom。推理4,No.4,353--380(1988;Zbl 0662.68104) 全文: 内政部
Stickel,Mark E。 舒伯特的蒸汽压路机问题:公式和解决方案。 (英语) 兹伯利0642.68164 J.汽车。推理 2, 89-101 (1986).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Stickel},J.Autom。推理2,89--101(1986;Zbl 0642.68164) 全文: 内政部
罗伯特·博伊尔;卢斯克,尤因;威廉·麦库恩;罗斯·奥弗贝克;Stickel,Mark E。;沃斯,劳伦斯 一阶逻辑中的集合论:哥德尔公理的子句。 (英语) Zbl 0635.03008号 J.汽车。推理 2, 287-327 (1986).MSC公司:03B35型 03E99型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Boyer}等人,J.Autom。推理2,287--327(1986;Zbl 0635.03008) 全文: 内政部
Stickel,Mark E。 通过理论解析自动推断。 (英语) 兹比尔0616.68076 J.汽车。推理 1, 333-355 (1985).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Stickel},J.Autom。推理1333--355(1985;Zbl 0616.68076) 全文: 内政部