[计]?机器理论证明
... 机器浪费时间 machine-spoiled time 机器理论证明 mechanical theory proving 机器逻辑 logic of machine ...
自动定理证明
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。