英语词汇“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??] 释义 [计] 归结定理证明行业词典计算机归结[分解]定理证明(法)???
随便看	goose-hunting Goose I. gooseier gooseiest goose influenza Goose influenza virus gooseintestine sarwort herb goose is cooked gooseish goose-ish Goose L. gooseley plant gooselike gooseling gooselings goose liver goose liver paste goose livers goosely goose meat goose-mouth sore goosen goose neck gooseneck goose-neck

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

resolution theorem proving