英语词汇“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??] 释义机械证明定理行业词典计算机自动定理证明???
随便看	synagoguegoers synagoguegoing synagogue-going synagogues synagro Synagrops synagrops analis Synagrops bellus synagrops belluss synagrops japonicus synagrops philippinensis synagropss synagrops serratospinosus synagrops spinosus synahorin Synalar synalate synalbumin synalbumin insulin antagonism synalbumin-insulin antagonism synaldoxime synaldoximes synalepha synalephe synalgia

英汉翻译词典包含4367426条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。

automatic theorem proving