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