1.
resolution theorem proving
归结定理证明消解式定理证明
2.
We prove thatλ- resolvent of C1 and C2 is aλ- logical consequence of( C1∧ C2) and compleieness theorem ofλ- resolution.
证明了两子句的的λ归结式是这两个子句的λ逻辑结果,从而完成了λ归结的完备性定理的证明。
3.
the proof of a theorem,ie in geometry
（几何）定理的证明.
4.
The validation of a proposition by application of specified rules, as of induction or deduction, to assumptions, axioms, and sequentially derived conclusions.
证明通过运用特定的规则对一个命题的证实，如运用演绎法和归纳法进行假设、推理，最后得出结论
5.
and (3) supporting reasons for the exceptions or proposed findings or conclusions.
（三）上述异议或事实认定和结论的证明理由。
6.
Some rational proofs of the Cayley-Hamilton theorem
Cayley-Hamilton定理的有理证明
7.
Application of Generalization Principle in Proving Constant Functions;
归结原则在证明函数为常量函数上的应用
8.
Proving Preparing Theorem of Euler Theorem and Wilson Theorem;
Euler定理和Wilson定理的预备定理的证明
9.
production system for theorem proving
定理证明的产生式系统
10.
An Elementary Proof to the Kelisky-Rivin Theorem;
Kelisky-Rivin定理的初等证明
11.
Lots of Proofs of the Fermat Theorem;
Fermat定理的若干再证明(续)
12.
On the Famous Theorem of Pappus and Desargues;
关于Pappus、Desargues定理的证明
13.
Another Proof of Lagrange Mean Value Theorem;
Lagrange中值定理的一个证明
14.
A Postscript on a Proof of Minkowski's Theorem
关于Minkowski定理证明的注记
15.
A Proof of the Cayley-Hamilton Theorem
Cayley-Hamilton定理的一个证明
16.
Empirical Analysis of the VAR Model on Exchange Rate Microstructure
汇率微观结构决定的向量自回归模型实证研究
17.
The Proofs of Four Colours and Ramsey Theorems Based on Model Theory;
四色定理和Ramsey定理基于模型论的证明
18.
Rigorous proofs of the results are given without the theorem-proof format.
不用理论证明的格式，给出结论的严密证明。