mechanical proving

       
  • 机器证明

mechanical proving的用法和样例:

例句

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

mechanical proving的相关资料:

临近单词

目录 查词历史