请输入您要查询的词汇:

 

词汇 paramodulation
释义 paramodulation
调解法
在一阶述词演算中利用等式替换进行推导的一种规则。
随便看

 

语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号 更新时间:2024/12/22 1:17:25