|
|||||
|
|
| 使用归结和调解的输入反驳与单元反驳不等价 | |
| 作者姓名： | 孙吉贵 |
| 作者单位： | 吉林大学计算机科学系，吉林大学计算机科学系 长春 130023，长春 130023 |
| 摘 要： | Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。 |
| 关 键 词： | 调解 对称调解 单元反驳 输入反驳 |
| 收稿时间： | 1990-10-29 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载全文 | |