摘要：在计算机上实现逻辑推理和定理证明的自动化,是人们探索很久的问题.本文从基本概念出发,较系统地分析了定理证明自动化的实现问题,并通过实例说明定理证明自动化的实现过程.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社