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

单词	resolution theorem proving
释义	resolution theorem proving 简明释义归结定理证明网络释义 1 ?归结定理证明消解式定理证明 ... resolution error 分辨误差 resolution theorem proving 归结定理证明消解式定理证明 resolver 解算装置 ... 短语 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. 归结原理是定理机器证明中的一种基本技术。
随便看	cab over engine type cabozantinib cabp cab project node cab protector CABRA Cabra del Santo Cristo Cabra de Mora cab radio communication cabrai cabral Cabrales Cabral, Pedro Alvares cabramatta Cabranes cab rank cab rank cab-rank patrol cab rank rule cab rank cabra numbers Cabras Cabrayil cabre cabrear sign

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