|
|||||
|
|
NONEQUIVALENCE OF INPUT PARAMODULATION REFUTATION AND UNIT PARAMODULATION REFUTATION |
|
| Affiliation: | SUN JI-GUI LIU XU-HUA (Department of Computer Sciences, Jilin University, Changchun 130023, PRC) |
| Abstract: | |
| Keywords: | paramodulation symmetry paramodulation unit refutation input refutation |
| 点击此处可从《科学通报(英文版)》浏览原始摘要信息 | |
| 点击此处可从《科学通报(英文版)》下载全文 | |