豆瓣图书标签: 交互式定理证明

综合排序  /  按出版日期排序  /  按评价排序
  • 交互式定理证明与程序开发

    YvesBertot、PierreCasteran / 顾明 / 清华大学出版社 / 2010-1 / 59.00元
    (少于10人评价)

    《交互式定理证明与程序开发:Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:C...




> 浏览全部图书标签