定理机器证明英语怎么说

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

theorem machine prove[计] 定理机器证明

与定理机器证明相关的短语

几何定理机器证明mechanical geometry theorem proving;mechanical theorem-proving in geometry

机器定理证明[计] mechanical theorem proving