The Development of an Expert System Mechanically Proving Statement Logic Theorem

• 一个命题逻辑机器证明专家系统的研究与开发