数学物理学报 ›› 1982, Vol. 2 ›› Issue (4): 479-484.
• 论文 • 上一篇
曾宪昌
Zeng Xianchang
摘要: This paper describes the algorithm and concrete process with BASIC program to realize theorem proving and solving some artificial intelligence problem. For theorem proving we introduce "subsumption test", "omiting method" and "programing technics" to speed up for finding proofs of theorem as the previous paper[1].