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

单词	theorem proving machine
释义	theorem proving machine　定理证明机
随便看	insinuatingly insinuation insinuation insinuation insinuation insinuation of a will insinuations insinuations insinuative insinuative insinuator insipid insipid insipid insipid insipidity insipidity insipidly insipidly insipidness insipience insipient insist insist insist

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