勇敢点,埃里克;Satbek Abdyldayev 用自动实现推广莫利定理和其他定理。 (英语) Zbl 1398.68480号 J.汽车。推理 60,第4期,503-526(2018).MSC公司:68吨15 2004年5月51日 PDF格式BibTeX公司 XML格式引用 \textit{E.Braude}和\textit{S.Abdyldayev},J.Autom。推理60,No.4,503--526(2018;Zbl 1398.68480) 全文: 内政部 链接
萨尔瓦多卢卡斯;劳尔·古铁雷斯 有序一阶理论逻辑模型的自动综合。 (英语) Zbl 1398.68095号 J.汽车。推理 60,第4期,465-501(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{R.Gutiérrez},J.Autom。推理60,No.4,465--501(2018;Zbl 1398.68095) 全文: 内政部 链接
路易斯·阿吉雷;马丁·奥列特,纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 重写逻辑和Maude中的句子规范化条件收缩模。 (英语) Zbl 1398.68267号 J.汽车。推理 60,第4期,421-463(2018).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aguirre}等人,J.Autom。推理60,No.4,421--463(2018;Zbl 1398.68267) 全文: 内政部
尼古拉斯·马滕佐格鲁;比扬·帕西娅;乌利·萨特勒 OWL推理:包容测试硬度和模块性。 (英语) Zbl 1398.68518号 J.汽车。推理 60,第4期,385-419(2018).MSC公司:68立方英尺 2017年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Matentzoglu}等人,J.Autom。推理60,No.4,385--419(2018;Zbl 1398.68518) 全文: 内政部 链接