Isabelle相关论文
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。为了提高定理证明器的工作效率和......
定理机器证明是人工智能的一个重要研究领域，被应用在数学定理证明、协议验证、软件和硬件的形式化验证等方面。提高定理机器证明的......
