定理证明的英语翻译
“定理证明”对应的英文单词有：theorem proving、theoremproving ，一共2个，具体意思及用法如下：
theorem proving定理证明[验证]
theoremproving[计] 定理证明
与定理证明相关的短语
定理证明程序[计] theorem prover
自动定理证明automated theorem proving;Automated Mechanical Theory Proving;theorem
初始化定理证明Proof of initialization theorem
定理证明法theorem proving method
定理证明机theorem proving machine
主定理证明master theorem proof
机器定理证明[计] mechanical theorem proving
非归结定理证明nonresolution theorem proving
自动定理证明器automated theorem prover