英语词汇theorem proving machine怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	theorem proving machine
释义	theorem proving machine 简明释义定理证明机网络释义 1 ?定理证明机 ... 机 machine; engine 定理证明机 theorem proving machine 证明机构 certifying authority; o certification organisation ... 短语 1 Theorem Machine Proving 定理机器证明 2 machine theorem proving 机器定理证明
随便看	semaphoric semaphorical semaphorically semaphorin Semaphorin-3A semaphoring semaphorins semaphorist semaphorist semapimod semar Semarang Semaria semarnat semar technique semas semasiography semasiological semasiologically semasiology semasiologist semasiologist semasiology semat semata

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