paramodulation的意思|示意
n. 调解法
paramodulation相关短语
1、 NC-paramodulation NC调解
2、 input paramodulation 输入替换
3、 paramodulation principle 替换原理
4、 symmetry paramodulation 对称调解
5、 generalized directed paramodulation 广义有向调解
6、 generalized symmetric paramodulation 广义对称调解