月亮词典
首页
查询
theorem proving
定理证明
常用释义
词性释义
定理证明
例句
全部
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
定理证明过程的复杂度