theorem proving

定理证明

常用释义

定理证明

扩展信息

定理证明

定理证明(theorem proving)是一种形式验证方法，它是根据已构造的规格说明生成反映该规格说明应具有的性质，将其表示成定 …

定理证明法

定理证明法(theorem proving)－藉由我们提出的高等Petri Net转换方式，我们把自动定理证明这种推论方式，用来求Petri Net的 …

定理证明方法

1.2.3 定理证明方法(Theorem Proving)18-19 1.2.4 程序分析方法19-20 1.3 本文主要工作及意义20 1.4 本文结构20-22 第二章安 …

定理机器证明

...ert consulting system) 定理机器证明(theorem proving) 博弈(game playing) 机器人学(robotics) 自动程序设计(automatic pr...

定律证明

...它集成了模型验证(Model Checking)、定律证明(Theorem Proving)的工具支持,验证能力强.该文对这种软件方法的几个核心问 …

按分解律的定理证明

t z T... ... 定理证明 theorem proving 按分解律的定理证明 theorem proving 按分解律反演的定理证明 by resolution refutation ...

例句

A member of the Herbrand base is called atom in automatic theorem proving .

在自动定理证明中，海尔勃朗基的成员也称为原子。

First-order theorem proving is one of the most mature subfields of automated theorem proving.

一阶定理证明是最成熟的分支的自动定理证明。

Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification.

商业使用的自动定理证明主要集中在集成电路设计和验证。

There are hybrid theorem proving systems which use model checking as an inference rule.

有混合定理证明系统，使用模型检查的推理规则。

The research in mechanical theorem proving has great significance in the theory and the practice.

定理机器证明的研究，在理论和实践上都具有重要的意义。

There is however a much larger disconnect between the world of theorem proving and dynamic languages.

然而在理论层面和动态语言实际应用之间还是存在一些差距的。

Property verification is carried out using theorem proving systems.

特性验证使用定理求证系统来实现。

Computing simplest subsidiary conditions in differential geometry theorem proving

微分几何定理证明中最简单辅助条件的计算

Development and Verification of High Confidence Embedded Software by Combining Model Checking and Theorem Proving

模型检测与定理证明相结合开发并验证高可信嵌入式软件

catagenesis condition for approximate theorem - proving

近似定理证明中的退化条件

Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving

几何定理并行验证算法研究

Universal Algorithm of Automatic Theorem Proving in Propositional Logic

命题逻辑定理证明的一个普遍能行算法

New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant, 1997)

几何定理机器证明理论与算法的新进展（主要参加者高小山，1997）

Automated Geometry Theorem Proving and Geometry Education

几何定理自动证明和几何教育

The Application of Citing Instances Method in the Mechanical Theorem Proving

例证法在定理机器证明中的应用

Realization of theorem proving automation

定理证明自动化的实现

On Mechanical Theorem-proving in Elementary Geometry

初等几何定理的机器证明

Mechanical Geometry Theorem Proving Based on The Elimination Method With Decoupling of Leading Terms For Polynomial Set

基于多项式组主项解耦消元法的几何定理机器证明

Single Logical Theorem Proving in Totally Abstract Fact Space

全抽象事实空间中的单逻辑定理证明

The complexity of theorem proving procedures

定理证明过程的复杂度