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

单词	theoremproving machine
释义	theoremproving machine　【计】定理证明机
随便看	talisman talismanic talismanic talismanic talismanical talite talitol Talitridae talk talk talk talk talk a blue streak talk a blue streak talk a donkey's hind leg off talk a mile a minute talk a mile a minute talk about talk about talk about talk about talk against talk against talk against time talk around

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