表示自动定理证明器的英文单词

“自动定理证明器”对应的英文单词有：automated theorem prover ，一共1个，具体意思及用法如下：

automated theorem prover自动定理证明器