Design and Accomplishment of Micro computer Proof System
Zhou Zong · Journal of Chongqing University of Posts and Telecommunications · 1999
This thesis explains chief technique and skill to construct the proposition deduction proving system on micro computer, and provides a worthy proposal about algorithm design, axioms mode and reduction rule, symbol processing, memory structures, joint phrase cancellation, input and output methods, and so on.