伊夫·奥夫雷;帕特丽斯·恩贾尔伯特;杰·雅克·希伯拉德 模态分解策略:结果和问题。 (英语) Zbl 0709.03008号 J.自动化。推理 6,第1期,1-38页(1990年). 审核人:C.马萨拉吉 MSC公司:03B35型 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Auffray}等人,J.Autom。推理6,No.1,1-38(1990;Zbl 0709.03008) 全文: DOI程序
J.W.罗奇。;Sundararajan,R。;沃森,L.T。 用约束满足代替统一来提高逻辑程序的表达能力。 (英语) Zbl 0698.68082号 J.自动化。推理 6,No.1,51-75(1990).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Roach}等人,J.Autom。推理6,No.1,51--75(1990;Zbl 0698.68082) 全文: DOI程序
阿南塔拉曼,湿婆;Jieh乡 交替环中Moufang恒等式的自动证明。 (英语) Zbl 0698.68079号 J.自动化。推理 6,No.1,79-109(1990).MSC公司:68吨15 17-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}和\textit{J.祥},J.Autom。推理6,No.1,79--109(1990;Zbl 0698.68079) 全文: DOI程序
皮埃尔·莱斯坎 关于具有词典状态和其他相关排序的递归分解排序。 (英语) Zbl 0698.68031号 J.自动化。推理 6,第1号,39-49(1990).MSC公司:68问题65 03年3月 06A99号 PDF格式BibTeX公司 XML格式引用 \textit{P.莱斯坎},J.奥托姆。推理6,No.1,39--49(1990;Zbl 0698.68031) 全文: DOI程序