英语词汇theorem proving use of resolution怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	theorem proving use of resolution
释义	theorem proving use of resolution 简明释义使用分解律的定理证明网络释义 1 ?使用分解律的定理证明 ... 定理证明系统 theorem proving system 使用分解律的定理证明 theorem proving use of resolution 理论的 theoretical ...
随便看	computer-aided design service computer aided design system computer aided design system(CAD) computer aided design technology computer aided detection computer aided detector design computer-aided development computer-aided diagnosis computer aided diagnosis computer-aided diagnosis system computer aided die design computer aided digitising system computer aided dispatch computer aided dispatch Computer Aided Dispatch(System) computer aided dispatch system computer aided drafting computer aided drawing computer aided drawing computer-aided drug design computer aided drug research computer aided education computer aided electronic design computer aidedengineering computer - aided engineering

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