大家在查：直棱柱斜棱柱四棱柱圆台球冠天文底片人择哥白尼原则化学元素丰度时间简史

定理机器证明

网络mechanical theorem proving; Automated theorem proving

定理机器证明

定理机器证明

定理机器证明

mechanical theorem proving

User:Lewix/cs... ... 过程表示 procedure representation 定理机器证明 mechanical theorem proving 归结方法 resolution method ...

Automated theorem proving

定理机器证明(Automated theorem proving)。这是一个消歧义页，罗列了有相同或相近的标题，但内容不同的条目。

1

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

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

2

Nonlinear algebraic equations system and automated theorem

非线性方程组与定理机器证明

3

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

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

4

The Application of Citing Instances Method in the Mechanical Theorem Proving

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

5

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

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

6

Research and development of automated theorem proving system for set theory

集合论等式型定理机器证明系统的研究与开发

7

Formation and Development of Ideas about Proving Theorems by Computers

定理机器证明思想的产生与发展

8

The Paralell numerical method of mech-anical Theorem Proving

定理机器证明的数值并行法

热词推荐

大家在看