mechanical proving

英 美
  • 机器证明
  • mechanical adj.机械的;力学的;呆板的
  • proving n.校对动词prove的现在分词形式.
    1. The research in mechanical theorem proving has great significance in the theory and the practice.
      定理机器证明的研究,在理论和实践上都具有重要的意义。