单词 | 归结定理证明 |
释义 | 归结定理证明翻译拼音:guī jié dìng lǐ zhèng míng英语翻译:【计】 resolution theorem proving 分词翻译:归的英语翻译:go back to; return; turn over to结的英语翻译:congeal; form; knot; settle; vinculum; weave【医】 knob; knot; node; nodule; noduli; nodulus; nodus; noeud 定理证明的英语翻译:【计】 theorem proving; theoremproving |
随便看 |
汉英词典包含397958条汉译英在线翻译词条,基本涵盖了全部常用汉语字词的英语翻译及用法,是英语学习及工作的有利工具。