theorem mechanical proving

常見例句

雙語例句

• The research in mechanical theorem proving has great significance in the theory and the practice.
  定理機(jī)器証明的研究，在理論和實踐上都具有重要的意義。
• The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
  幾何定理証明的前推法能夠産生傳統(tǒng)形式的可讀証明， 在定理機(jī)器証明領(lǐng)域佔有重要的地位。
• 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.
  傳統(tǒng)上，定理機(jī)器証明常常使用某種邏輯表示，然後再進(jìn)行推理，這些方法往往缺乏霛活性，且証明過程難以理解。
返回 theorem mechanical proving