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   

  1. Computer Science Department, institute of Computer Science, Wuhan University
  • Received:1981-12-30 Online:1982-12-25 Published:1982-12-25
Trendmd