表示机器定理证明的英文单词
“机器定理证明”对应的英文单词有：[计]">[计] ，一共1个，具体意思及用法如下：
[计]">[计]机器定理证明
与机器定理证明相关的短语
定理机器证明Automated theorem proving
几何定理机器证明mechanical geometry theorem proving;mechanical theorem-proving in geometry
“机器定理证明”对应的英文单词有：[计]">[计] ，一共1个，具体意思及用法如下：
[计]">[计]机器定理证明
定理机器证明Automated theorem proving
几何定理机器证明mechanical geometry theorem proving;mechanical theorem-proving in geometry