迈克尔·Färber;Cezary卡利西克;约瑟夫·乌尔班 连接表辅助的机器学习指南。 (英语) Zbl 07356974号 J.汽车。推理 65,第2期,287-320(2021年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Färber}等人,J.Autom。推理65,No.2,287--320(2021;Zbl 07356974) 全文: 内政部 arXiv公司 OA许可证
Cezary卡利西克;约瑟夫·乌尔班 使用\(\mathsf{Flyspeck}\)学习辅助的自动推理。 (英语) Zbl 1314.68283号 J.汽车。推理 53,第2期,173-213(2014); 勘误表同上,54,No.1,99(2015)。MSC公司:68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{J.Urban},J.Autom。推理53,No.2,173--213(2014;Zbl 1314.68283) 全文: 内政部 arXiv公司 OA许可证