1.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
2.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
3.
A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中,海尔勃朗基的成员也称为原子。
4.
Change in Proof of Lamm of LAPLACE Theorum;
LAPLACE定理引理证明的一点改动
5.
the proof of a theorem,ie in geometry
（几何）定理的证明.
6.
To Prove the Fixpoint Theorem Banach by Mathematical Analysis;
用数学分析的方法证明Banach不动点定理
7.
A New Proof of the Leray-Schauder Fixed Point Theorem
Leray-Schauder不动点定理的一个新证明
8.
A NewProof of Fixed- point Iteration Method of Convergence Theorem
不动点迭代法收敛定理的一个新证明
9.
resolution theorem proving
归结定理证明消解式定理证明
10.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
11.
Some rational proofs of the Cayley-Hamilton theorem
Cayley-Hamilton定理的有理证明
12.
Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。
13.
Using automatic certificate requests, an administrator can specify which types of certificate can be automatically requested by a computer
用自动证书申请，系统管理员可以指定计算机能自动申请哪类证书
14.
G?del Incompleteness Theorem definitely reveals and proves the ability limit for oneself to master "truth".
哥德尔不完全性定理明确揭示和证明自己把握“真”的能力限度。
15.
That theory comes of practice has long been proved .
理论来自实践早已证明。
16.
Proving Preparing Theorem of Euler Theorem and Wilson Theorem;
Euler定理和Wilson定理的预备定理的证明
17.
production system for theorem proving
定理证明的产生式系统
18.
An Elementary Proof to the Kelisky-Rivin Theorem;
Kelisky-Rivin定理的初等证明