mechanical proving

• 机器证明

mechanical proving的用法和样例：

例句

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