自动化定理证明-一流百科

自动化定理证明

自动化学定义证明自动化定理证明（也称为 ATP 或自动演绎）是自动推理和数学逻辑的一个子领域，涉及通过计算机程序证明数学定理。基于数学证明的自动推理是...