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

单词	theorem proving machine
释义	theorem proving machine　定理证明机
随便看	因为越位因为跑道太短因为身上没钱因为身体不好因为过生日因为过错在他因为运气因为还年轻因为这个丑闻因为这个决定因为这场悲剧因为这次丑闻因为这次会议因为这灯不亮因为这项立法因为进攻太晚因为违章停车因为迟到因为迟到因为道路封闭因为那个因为那个因为那太贵了因为那是悬崖因为那样一来

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