自动定理证明

    自动定理证明的方法通常有：

     1、自动演绎法 它是自动定理证明最早使用的一种方法。

    2、决策过程法 

    3、定理证明器

                                                  返回