顾依兰;米哈伊尔·苏琴斯基 基于描述逻辑的情境演算。 (英语) Zbl 1205.68405号 安。数学。Artif公司。智力。 58,第1-2、3-83号(2010年).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gu}和\textit{M.Soutchanski},安.数学。Artif公司。智力。58,编号1--2,3--83(2010;Zbl 1205.68405) 全文: 内政部
克里斯托夫·韦登巴赫 排序理论的统一及其应用。 (英语) Zbl 0887.03006号 安。数学。Artif公司。智力。 18,编号2-4,261-293(1996).MSC公司:03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Weidenbach},Ann.数学。Artif公司。智力。18,编号2--4,261--293(1996;Zbl 0887.03006) 全文: 内政部
伯恩哈德·霍兰德 一致性检查简化为术语系统中概念的可满足性。 (英语) Zbl 0892.68095号 安。数学。Artif公司。智力。 18,编号2-4,133-157(1996).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.Hollunder},Ann。数学。Artif公司。智力。18,编号2--4,133-157(1996;Zbl 0892.68095) 全文: 内政部
汉斯·尤根·伯克特;伯恩哈德·霍兰德;阿明·劳克斯 论约束逻辑中的Skolemization。 (英语) Zbl 0887.03005号 安。数学。Artif公司。智力。 18,编号2-4,95-131(1996).MSC公司:03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Bürckert}等人,《数学年鉴》。Artif公司。智力。18,编号2--4,95-131(1996;Zbl 0887.03005) 全文: 内政部
米拉·巴拉班 描述语言的F逻辑方法。 (英语) Zbl 0861.68094号 安。数学。Artif公司。智力。 15,第1期,第19-60页(1995年).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Balaban},Ann.数学。Artif公司。智力。15,第1号,19--60(1995;Zbl 0861.68094) 全文: 内政部