Isabelle相关论文
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。为了提高定理证明器的工作效率和......
定理机器证明是人工智能的一个重要研究领域，被应用在数学定理证明、协议验证、软件和硬件的形式化验证等方面。提高定理机器证明的......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
