交互式定理证明与程序开发 短评

  • 0 到此一游 2015-06-12

    在z3/hol/coq之间的选择纠结中。。。

  • 0 sNullp 2011-08-16

    苏州形式化方法暑期学校的教材,根本看不懂啊……

  • 第一页
  • 前一页
  • 后一页