杰夫·萨特克利夫;马丁·德沙奈斯 第11届IJCAR自动化定理证明系统竞赛——CASC-J11。 (英语) Zbl 07735787号 AI通讯。 36,第2期,73-91(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}和\textit{M.Desharnais},AI Commun。36,编号2,73--91(2023;Zbl 07735787) 全文: 内政部
杰夫·萨特克利夫;马丁·德沙奈斯 CADE-28自动定理证明系统竞赛–CASC-28。 (英语) Zbl 1487.68249号 AI通讯。 34,第4号,259-276(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}和\textit{M.Desharnais},AI Commun。34,第4号,259--276(2021;Zbl 1487.68249) 全文: 内政部
杰夫·萨特克利夫 CADE-27自动定理证明系统竞赛–CASC-27。 (英语) Zbl 1464.68433号 AI通讯。 32,编号5-6,373-389(2019).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},人工智能通信。32,编号5--6,373--389(2019;Zbl 1464.68433) 全文: 内政部
杰夫·萨特克利夫 第九届IJCAR自动化定理证明系统竞赛——CASC-J9。 (英语) Zbl 1462.68220号 AI通讯。 31,第6号,495-507(2018).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},人工智能通信。31,编号:6495-507(2018;兹bl 1462.68220) 全文: 内政部