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

单词	resolution theorem proving
释义	resolution theorem proving 简明释义归结定理证明网络释义 1 ?解析定理证明 ... 归结定理证明 resolution theorem proving 解析定理证明 resolution theorem-proving 自动定理证明 automated theorem proving; automatic theorem proving ... 短语 1 resolution theorem proving 归结定理证明消解式定理证明 2 theorem proving by resolution 按分解律的定理证明双语例句 1 Resolution Principle is an important means of automatic proving of theorem. 归结原理是定理自动证明的重要工具。 2 The resolution principle is known to be a basic tool for theorem proving. 归结原理是定理机器证明中的一种基本技术。
随便看	single level pegging single level polysilicon single level process single level process single-level reasonance formula single-level resonance formula single-levels single level steam turbine single-level steam turbine single-level storage single level system single-level system single level turret single-level weighting function single level where-used single lever single lever brake single lever control single-lever control single-lever operation single-lever relief valve single lever taps single lever type single liability single liability system

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