英语词汇theorem proving machine是什么意思，theorem proving machine的用法、释义、翻译、读音、例句、短语词组-英汉汉英翻译词典

单词	theorem proving machine
释义	theorem proving machine　定理证明机
随便看	顶灯顶点顶点顶点或顶顶牛顶珠顶班顶球顶球顶生顶生顶用顶用顶盖顶盖顶盖掉下来了顶盘顶盘顶眼顶着顶着顶着冰雹顶着压力顶着困难顶着风

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