原名:A Sketch of the History and State of Automated Deduction
17 Pages·2015·
作品简介:证明软件的正确性，或者证明理论论文中的定理。大卫·希尔伯特（David Hilbert，1862年—1943年）是一位德国数学家。之中 。伊莎贝尔. Isabelle 是一位通用证明助手，能够使用高等初等数论（例如高斯二次定律）。……
资源下载
VIP免费升级VIP
原名:A Sketch of the History and State of Automated Deduction
17 Pages·2015·
作品简介:证明软件的正确性，或者证明理论论文中的定理。大卫·希尔伯特（David Hilbert，1862年—1943年）是一位德国数学家。之中 。伊莎贝尔. Isabelle 是一位通用证明助手，能够使用高等初等数论（例如高斯二次定律）。……
