全部 标题 作者 关键词 摘要
Keywords: 广义归结,广义对称调解,广义有向调解,广义Horn集
Full-Text Cite this paper Add to My Lib
本文定义了广义Ｈｏｒｎ集，并在广义Ｈｏｒｎ集上证明了广义输入归结的完备性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性．文中还证明了广义调解法的提升引理
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
