theorem mechanical proving

基本解釋

• [計算機科學技術(shù)]定理機器証明

英漢例句

雙語例句

• 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.
  幾何定理証明的前推法能夠産生傳統(tǒng)形式的可讀証明， 在定理機器証明領(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)上，定理機器証明常常使用某種邏輯表示，然後再進行推理，這些方法往往缺乏霛活性，且証明過程難以理解。

• 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更多詞組

專業(yè)釋義

計算機科學技術(shù)

• 定理機器証明