自动定理证明的英文单词
“自动定理证明”对应的英文单词有：automatic theorem proving ，一共1个，具体意思及用法如下：
automatic theorem proving机械证明定理
与自动定理证明相关的短语
自动定理证明器automated theorem prover
自动化定理证明引擎Automatic Theorem Prover
“自动定理证明”对应的英文单词有：automatic theorem proving ，一共1个，具体意思及用法如下：
automatic theorem proving机械证明定理
自动定理证明器automated theorem prover
自动化定理证明引擎Automatic Theorem Prover