automatic theorem proving

automatic theorem proving 基本解释

[计] 自动定理证明

重点词汇

automatic adj. 自动的；不假思索的，无意识的；必然发生的 n. 自动化机器或设备；自动手枪

theorem n. 定理, 原理 [化] 定理

proving [计] 验证, 证明 [医] 药力试验(顺势疗法的名词)