ON-THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

Acta mathematica scientia,Series B ›› 1982, Vol. 2 ›› Issue (4): 459-464.

• Articles • Previous Articles Next Articles

ON-THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

Zeng Xianchang

Computer Science Department, institute of Computer Science, Wuhan University

Received:1981-12-30 Online:1982-12-25 Published:1982-12-25

Abstract

Zeng Xianchang. ON-THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM[J].Acta mathematica scientia,Series B, 1982, 2(4): 459-464.

Trendmd

References

Related Articles 0

Metrics

Comments

Recommended 0