resolution theorem proving

网络释义

1.	归结定理证明机械英汉词典（R）-机械资讯-马棚网 ... resolution refutation 归结反演，分解反驳 resolution theorem proving 归结定理证明 ... www.mapeng.net

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。