英语词汇“resolution theorem proving”的中英文释义、用法、翻译及短语词组-英汉翻译词典-东流网

单词	resolution theorem proving
释义	resolution theorem proving 英?[?rez??lu:??n ?θi:?r?m ?pru:vi?] 美?[?r?z??lu??n ?θi?r?m ?pruv??] 释义 [计] 归结定理证明行业词典计算机归结[分解]定理证明(法)???
随便看	aeks AEL Aela aelachyl alcohol Aelbert aelder AELE A. elegantulum A. elegantulum var. macrurum A-element A-element-binding factor A1 A-element-binding factor A2 A element-binding proteins Aelfred aelfreds Aelfric Aelia Capitolina aelian Aelian harp aelians Aelianus A-eliminator A eliminator aeliosis aelis

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

resolution theorem proving