theorem machine prove

theorem machine prove 基本解释

【计】定理机器证明

计算机

重点词汇

• machinen. 机器, 机械装置, 机构, 自动售货机, 机械般工作的人 vt. 以机器制造
• provevt. 证明, 查验, 检验, 勘探, 显示 vi. 证明是
• theoremn. 定理, 原理 [化] 定理