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

• The Application of Citing Instances Method in the Mechanical Theorem Proving