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

• The Development of an Expert System Mechanically Proving Statement Logic Theorem