paramodulation

paramodulation是什么意思、paramodulation怎么读
【计】 调解法

paramodulation汉语翻译

【计】 调解法