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