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

词汇	automatic theorem proving
类别	英译汉实时翻译、汉译英在线翻译、英汉互译翻译词典
释义	automatic theorem proving 英?[??:t??m?tik ?θi:?r?m ?pru:vi?] 美?[??t??m?t?k ?θi?r?m ?pruv??] 释义机械证明定理行业词典计算机自动定理证明???
随便看	insulator rating number insulator rotator insulators insulator set insulator set clamp insulators for multiple chains insulator spindle insulator strength insulator string insulator- superconductor transition insulator suport insulator support insulator switch insulator taking tool insulator technology insulator tester insulator, thermal insulator type current transformator insulator type current transformer insulator-type transformer (pot-type transformer) insulator washing insulator with arcing horns insulator with cooling device insulator with external fittings insulator with heating device

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

automatic theorem proving