马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 限制内涵集的自动推理。 (英文) Zbl 07432188号 J.汽车。推理 65,第6号,809-890(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.Autom。推理65,No.6,809--890(2021;Zbl 07432188) 全文: 内政部 arXiv公司
亚历山大·斯蒂恩;克里斯托夫·本兹穆勒 Leo-III中的扩展高阶副调制。 (英文) Zbl 1509.68321号 J.汽车。推理 65,第6号,775-807(2021).MSC公司:68伏15 03B16号 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Steen}和\textit{C.Benzmüller},J.Autom。推理65,No.6,775--807(2021;Zbl 1509.68321) 全文: 内政部 arXiv公司
毛罗·瓦拉蒂;卢卡什Chrpa;托马斯·利奥·麦克卢斯基;弗兰克·哈特 关于领域模型配置对自动规划引擎的重要性。 (英文) Zbl 07432186号 J.汽车。推理 65,第6期,727-773(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Vallati}等人,J.Autom。推理65,No.6,727--773(2021;Zbl 07432186) 全文: 内政部 arXiv公司
彭西成;陈启航;张景忠;陈,毛 基于向量方程的几何定理的自动发现。 (英文) Zbl 07432185号 J.汽车。推理 65,编号6,711-726(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{X.Peng}等人,J.Autom。推理65,编号6,711——726(2021;Zbl 07432185) 全文: 内政部