theorem mechanical proving

基本解释

• [计算机科学技术]定理机器证明

英汉例句

双语例句

• The research in mechanical theorem proving has great significance in the theory and the practice.
  定理机器证明的研究，在理论和实践上都具有重要的意义。
• The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
  几何定理证明的前推法能够产生传统形式的可读证明， 在定理机器证明领域占有重要的地位。
• Traditionally, Mechanical theorem proving often use a logic representation , and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
  传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。

• theorem mechanical proving更多例句

词组短语

短语

• mechanical theorem proving [计]机器定理证明;机器证明;机器证明英语;翻译
• Mechanical geometry theorem proving 几何定理机器证明
• mechanical geometric theorem proving 几何定理的机器证明
• mechanical separator theorem proving 机器证明
• mechanical theorem -proving in geometry 几何定理机器证明

• theorem mechanical proving更多词组

专业释义

计算机科学技术

• 定理机器证明