| NC线性对称调解 |
| |
| 引用本文： | 孙吉贵 刘叙华. NC线性对称调解[J]. 计算机学报, 1993, 16(8): 561-567 |
| |
| 作者姓名： | 孙吉贵 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系，吉林大学计算机科学系 长春 130023，长春 130023 |
| |
| 基金项目： | 国家自然科学基金，国家教委博士点基金 |
| |
| 摘 要： | 本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。
|
| 关 键 词： | 广义归结 NC归结 NC调解 |
NC-LINEAR SYMMETRY PARAMODULATION |
| |
| Sun Jigui and Liu XuhuaDept. of Computer Science,Jilin University Changchun. NC-LINEAR SYMMETRY PARAMODULATION[J]. Chinese Journal of Computers, 1993, 16(8): 561-567 |
| |
| Authors: | Sun Jigui Liu XuhuaDept. of Computer Science Jilin University Changchun |
| |
| Affiliation: | Sun Jigui and Liu XuhuaDept. of Computer Science,Jilin University Changchun 130021 |
| |
| Abstract: | The NC-Paramodulation is defined,and the completeness of the linear deduction is proved for using NC-resolution and NC-symmetry paramodulation,and for using generalized resolution and the generalized symmetry paramodulation. |
| |
| Keywords: | generalized resolution NC-resolution generalized paramodulation NC-paramodulation. |
| 本文献已被 CNKI 维普 等数据库收录！ |
