theorem prove

 
  • 定理证明

theorem prove的用法和样例:

例句

  1. Property verification is carried out using theorem proving systems.
    特性验证使用定理求证系统来实现。
  2. A member of the Herbrand base is called atom in automatic theorem proving.
    在自动定理证明中,海尔勃朗基的成员也称为原子。
  3. In addition,it uses a simple example to illustrate the application of the rules in Isabelle theorem prover.
    形式化规范和系统具体实现代码之间的一致性验证[1]。
  4. The research in mechanical theorem proving has great significance in the theory and the practice.
    定理机器证明的研究,在理论和实践上都具有重要的意义。
  5. Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a.
    郑英豪(2003),行政院国家科学委员会专题研究计画-期中进度报告:青少年图形命题论证教学的研究(1/4)。
  6. PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
    PVS是一个确认系统:这就是说,它的语言综合了支持工具和一个定理证明器。
今日热词
目录 附录 查词历史