ON-THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

数学物理学报(英文版) ›› 1982, Vol. 2 ›› Issue (4): 459-464.

• 论文 • 上一篇下一篇

ON-THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

曾宪昌

Computer Science Department, institute of Computer Science, Wuhan University

收稿日期:1981-12-30 出版日期:1982-12-25 发布日期:1982-12-25

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

曾宪昌. ON-THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM[J]. 数学物理学报(英文版), 1982, 2(4): 459-464.

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

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 10