英语词汇“mechanical theorem proving”的读音、翻译、释义、用法及例句-英译汉实时翻译、汉译英在线翻译、英汉互译翻译词典-国先网

词汇	mechanical theorem proving
类别	英译汉实时翻译、汉译英在线翻译、英汉互译翻译词典
释义	mechanical theorem proving 英?[mi?k?nik?l ?θi:?r?m ?pru:vi?] 美?[m??k?n?k?l ?θi?r?m ?pruv??] 释义机器证明行业词典计算机机器定理证明???机器定理证明法???
随便看	Naoxintong Jiaonang nap N.A.P. nap. .nap -nap NAP-1 nap(1) NAP-185 NAP 1 Receptor NAP-1 Receptor NAP-2 NAP-22 Napa Na Pa NapAB NAPAC napa cabbage napaceous Napa County napactadine Napactadine Hydrochloide napactadine hydrochloride Napadisilate napadisilic acid

国先网英语在线翻译词典收录了4367410条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。

mechanical theorem proving