加布里埃尔·埃布纳;布兰切特,茉莉;索菲·托雷特 统一拆分。 (英语) 兹伯利07702722 J.汽车。推理 67,第2期,第16号论文,44页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ebner}等人,J.Autom。推理67,第2期,第16号论文,第44页(2023;Zbl 07702722) 全文: 内政部 OA许可证
杰根,基督;Jochen Hoenicke公司 保证明树插值。 (英语) Zbl 1356.68184号 J.自动化。推理 57,第1号,67-95(2016).MSC公司:68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Christ}和\textit{J.Hoenicke},J.Autom。推理57,No.1,67--95(2016;Zbl 1356.68184) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动演绎中地面证据的插值系统:一项调查。 (英语) Zbl 1356.68179号 J.汽车。推理 54,第4期,353-390(2015).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.4,353--390(2015;Zbl 1356.68179) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动定理证明中的插值。 (英语) Zbl 1315.03018号 J.汽车。推理 54,第1期,69-97(2015).MSC公司:03B35型 68吨15 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.1,69--97(2015;Zbl 1315.03018) 全文: 内政部