theorem proving system的意思|示意
定理证明系统
theorem proving system的网络常见释义
定理证明系统 ... natural deduction theorem proving 自然演绎法定理证明 theorem proving system 定理证明系统 theorem proving method 定理证明法 ...
theorem proving system相关短语
1、 Mechanized geometry theorem proving system 机械式几何证明系统
2、 production system for theorem proving 定理证明的产生式系统
theorem proving system相关例句
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
In this paper, how to optimally divide a complicated system for serving the need of system modelling well is studied theoretically. We present the optimal dividing theory and its theorem proving.
就如何进行大系统空间模块的分解以满足建模的需要，作了理论上的探讨，给出了最优空间分解判定及性质定理证明。