英语词汇“theorem proving”的读音、翻译、释义、用法及例句-智慧网

词汇	theorem proving
释义	theorem provingtheorem proving1.■定理证明[验证]
随便看	overall isothermal efficiency overall length overall length of bridge overall length of broach overall length of floating dock overall level overall lift overall limitation period overall limits overall line attenuation overall line equivalent overall liquidity ratio overall load overall loading overall load margin overall loss measurement overall magnetic field overall market price coverage overall mass transfer coefficient overall material balance overall mean overall merit overall model overall noise temperature overall operational cost

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