英语词汇“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??] 释义机器证明行业词典计算机机器定理证明???机器定理证明法???
随便看	serpan Serpanrary serpanray Serpa Pinto serpa pinto (menongue) serpasil serpasil-apreroline Serpasil-Apresoline serpasils Serpasol Serpate Serpaton Serpax serpe serpeak process serpe-cloth serpedinous serpedo serpee-cloth serpeggiante Serpek process Serpek process for nitrogen fixation Serpell Serpen serpens

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

mechanical theorem proving