玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动演绎中地面证据的插值系统:一项调查。 (英语) Zbl 1356.68179号 J.汽车。推理 54,第4期,353-390(2015).MSC公司:68吨15 03立方厘米35 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公司:03立方厘米35 68吨15 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.1,69--97(2015;Zbl 1315.03018) 全文: 内政部
穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 归纳理论的猜想综合。 (英语) Zbl 1243.68268号 J.自动化。推理 47,第3期,251-289(2011).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,J.Autom。推理47,No.3,251--289(2011;Zbl 1243.68268) 全文: 内政部 链接