Theory machine proving

• 定理机器证明

Theory machine proving的用法和样例：

例句

1. The research in mechanical theorem proving has great significance in the theory and the practice.
   定理机器证明的研究，在理论和实践上都具有重要的意义。