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.
传统上,定理机器证明常常使用某种逻辑表示,然后再进行推理,这些方法往往缺乏灵活性,且证明过程难以理解。
双语例句
词组短语
- mechanical theorem proving [计]机器定理证明;机器证明;机器证明英语;翻译
- Mechanical geometry theorem proving 几何定理机器证明
- mechanical geometric theorem proving 几何定理的机器证明
- mechanical separator theorem proving 机器证明
- mechanical theorem -proving in geometry 几何定理机器证明
短语
专业释义
- 定理机器证明