基本解釋[計算機科學技術(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ù)定理機器証明