调解法

（计算机科学技术）
调解法（paramodulation），计算机科学技术名词，基于等量替换思想对含等词的定理进行归结证明的一种方法。
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》