theorem-proving

常见例句

• Property verification is carried out using theorem proving systems.
  特性验证使用定理求证系统来实现。
• A member of the Herbrand base is called atom in automatic theorem proving.
  在自动定理证明中,海尔勃朗基的成员也称为原子。
• The research in mechanical theorem proving has great significance in the theory and the practice.
  定理机器证明的研究，在理论和实践上都具有重要的意义。
• Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a.
  郑英豪(2003)，行政院国家科学委员会专题研究计画-期中进度报告：青少年图形命题论证教学的研究(1/4)。
• Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan.
  布尔环下零阶逻辑定理证明的一些实验性结果。国立台湾大学资讯工程学研究所硕士论文，台北市。
• The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
  在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.
返回 theorem-proving