高阶定理证明相关硕士博士期刊学术论文

定理证明是人工智能的一个分支,它的研究目标是在计算机辅助下进行数学定理的证明。基于定理证明的形式化验证技术已经被广泛应用......