自动化定理证明相关硕士博士期刊学术论文 - 搜论网

自动化定理证明相关论文

自动化定理证明的发展与现状

该文旨在扼要介绍自动化定理证明(ATP)的发展历史与现状。其中,阐述了 ATP 的理论基础、基本原理和研究方向,列举了部分定理证明系......

期刊

定理证明人工智能自动化定理证明机器定理证明归结原理符号逻辑形式推理初等几何四色问题四色定理

看过本文同时还关注