纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉哈耶;皮埃尔·哈尔马格兰德;奥利维尔·赫曼特 用理论进行一阶自动推理:当演绎模理论符合实际时。 (英语) 兹比尔1468.68282 J.汽车。推理 64,第6号,1001-1050(2020).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Burel}等人,J.Autom。推理64,No.6,1001--1050(2020;Zbl 1468.68282) 全文: 内政部 哈尔
纪尧姆·伯里;大卫·德拉哈耶 单纯形与表格集成。 (英语) Zbl 1471.68304号 De Nivelle,Hans(编辑),用分析表和相关方法进行自动推理。第24届国际会议,TABLEAUX 2015,波兰Wrocław,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9323, 86-101 (2015).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bury}和\textit{D.Delahaye},Lect。注释计算。科学。9323,86-101(2015;Zbl 1471.68304) 全文: 内政部 链接