"定理证明系统"用英语怎么说，怎么拼写读念,"定理证明系统"的英文翻译、读音、用法及例句-汉英词典

字词	定理证明系统
释义	【计】 theoremproving system
随便看	糊精尿肩胛上静脉纵向处理站立的缺口拉伸试验平均风险桑巴舞宏观热力学地球精馏硫酸弹性火棉胶嗄吱外加探询显示主题脊骨树倒猢狲散反向计数器电测力计退火羔成本节约撤回一个遗嘱缝合钨硅酸吡啶┹ 双乙氧基碳心痛定

若能避开猛烈的欢喜，自然不会有悲痛来袭。-「《人间失格》」　

汉译英翻译词典收录405696条汉英翻译词条，基本涵盖了全部常用中文字词的英语拼写、翻译、音标、读音、用法、例句等，是英语学习的有利工具。