1.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
2.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
3.
theorem-proving for robot problem solving
机器人问题求解的定理证明
4.
iGeo: A Theorem Prover of the Intelligent Geometry Software;
iGeo：智能几何软件的定理证明器
5.
Mechanical Theorem Proving in Differential Geometry about Curves on Surface;
微分几何曲面上曲线定理的机器证明
6.
Research and Development of Machine Proving System on Geometry Theorem;
几何定理机器证明系统的开发与研究
7.
A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中,海尔勃朗基的成员也称为原子。
8.
Change in Proof of Lamm of LAPLACE Theorum;
LAPLACE定理引理证明的一点改动
9.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
10.
the proof of a theorem,ie in geometry
（几何）定理的证明.
11.
To Prove the Fixpoint Theorem Banach by Mathematical Analysis;
用数学分析的方法证明Banach不动点定理
12.
A New Proof of the Leray-Schauder Fixed Point Theorem
Leray-Schauder不动点定理的一个新证明
13.
A NewProof of Fixed- point Iteration Method of Convergence Theorem
不动点迭代法收敛定理的一个新证明
14.
automatic timer
自动定时器自动计时器
15.
resolution theorem proving
归结定理证明消解式定理证明
16.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
17.
MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY
基于指标形式张量的微分几何定理机器证明
18.
Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.
目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。