苏特克利夫,G。;苏特纳,C.B。;F.J.Pelletier。 IJCAR ATP系统比赛。 (英文) Zbl 1003.68718号 J.汽车。推理 28,第3期,307-320(2002).MSC公司:68单位99 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}等人,J.Autom。推理28,No.3,307--320(2002;Zbl 1003.68718) 全文: 内政部
弗朗西斯·杰弗里·佩利蒂埃;萨特克利夫,杰夫 ATP问题的一些勘误表。 (英文) Zbl 0868.68099号 J.汽车。推理 18,No.1,135(1997).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Pelletier}和\textit{G.Sutcliffe},J.Autom。推理18,No.1,135(1997;Zbl 0868.68099) 全文: 内政部
F.J.Pelletier。 勘误表为“测试自动定理证明器的75个问题”。 (英文) 兹伯利0642.68148 J.汽车。推理 4,第2期,235-236(1988年).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Pelletier}、J.Autom。推理4,No.2,235--236(1988;Zbl 0642.68148)
弗朗西斯·杰弗里·佩利蒂埃 测试自动定理证明器的75个问题。 (英文) Zbl 0642.68147号 J.汽车。推理 2, 191-216 (1986).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Pelletier}、J.Autom。推理2191-216(1986年;Zbl 0642.68147) 全文: 内政部