迈克尔·比森;玛丽亚·保拉(Maria Paola Bonacina);迈克尔·基扬;杰夫·萨特克利夫 拉里·沃斯:自动化推理的愿景。 (英语) Zbl 1511.68005号 J.汽车。推理 66,第4期,439-461(2022)。MSC公司:68-03 01A70型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,J.Autom。推理66,No.4,439--461(2022;Zbl 1511.68005) 全文: 内政部
杰夫·萨特克利夫 TPTP问题库和相关基础设施。从CNF到TH0,TPTP v6.4.0。 (英语) Zbl 1425.68381号 J.汽车。推理 59,第4期,483-502(2017)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},J.Autom。推理59,No.4,483--502(2017;Zbl 1425.68381) 全文: 内政部
约瑟夫·乌尔班;彼得·鲁德尼基;杰夫·萨特克利夫 Mizar形式化的ATP和演示服务。 (英语) Zbl 1260.68380号 J.汽车。推理 50,第2期,229-241(2013)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Urban}等人,J.Autom。推理50,No.2,229--241(2013;Zbl 1260.68380) 全文: 内政部 arXiv公司
杰夫·萨特克利夫 TPTP问题库和相关的基础设施以及相关的基础设施。FOF和CNF部件,v3.5.0。 (英语) Zbl 1185.68636号 J.汽车。推理 43,第4期,337-362(2009)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},J.Autom。推理43,No.4,337--362(2009;Zbl 1185.68636) 全文: 内政部
伯恩德·菲舍尔(编辑);杰夫·萨特克利夫(编辑);斯蒂芬·舒尔茨(编辑) 特殊问题:经验成功的自动推理:应用程序问题(ESCAR)。根据2005年7月22日至23日在爱沙尼亚塔林举行的CADE-20研讨会上的演示文稿选出的论文。 (英语) Zbl 1110.68301号 J.汽车。推理37,第1-2期,152页。(2006). MSC公司:68-06 00时25分 PDF格式BibTeX公司 XML格式
伯恩德·菲舍尔(编辑);杰夫·萨特克利夫(编辑);斯蒂芬·舒尔茨(编辑) 经验成功的自动推理:系统问题。根据2005年7月22日至23日在爱沙尼亚塔林举行的CADE-20经验成功的经典自动推理研讨会上的演讲选择的论文。 (英语) Zbl 1109.68308号 J.汽车。推理36,第4期,287-410(2006年)。 MSC公司:68-06 2006年3月 00时25分 PDF格式BibTeX公司 XML格式
苏特克利夫,G。;苏特纳,C.B。;F.J.Pelletier。 IJCAR ATP系统竞赛。 (英语) 兹比尔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) 全文: 内政部
苏特克利夫,G。 CADE-17 ATP系统竞赛。 (英语) Zbl 0988.68797号 J.汽车。推理 27,第3号,227-250(2001)。MSC公司:68单位99 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},J.Autom。推理27,第3号,227--250(2001;Zbl 0988.68797) 全文: 内政部
杰夫·萨特克利夫 CADE-16 ATP系统竞赛。 (英语) Zbl 0953.68595号 J.汽车。推理 24,第3期,371-396(2000)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},J.奥托姆。推理24,No.3,371--396(2000;Zbl 0953.68595) 全文: 内政部
杰夫·萨特克利夫;克里斯蒂安·萨特纳 TPTP问题库。CNF版本v1。2. 1. (英语) 兹比尔0910.68197 J.汽车。推理 21,第2期,177-203(1998)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}和\textit{C.Suttner},J.Autom。推理21,第2177-203号(1998年;Zbl 0910.68197) 全文: 内政部
克里斯蒂安·萨特纳;杰夫·萨特克利夫 CADE-14 ATP系统竞赛。 (英语) Zbl 0916.68141号 J.汽车。推理 21,第1期,99-134(1998年)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Suttner}和\textit{G.Sutcliffe},J.Autom。推理21,No.1,99--134(1998;Zbl 0916.68141) 全文: 内政部
弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫 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) 全文: 内政部