读过"交互式定理证明与程序开发"的豆瓣成员

6人参与评价  · · · · · ·

力荐
33.3%
推荐
33.3%
还行
33.3%
较差
0.0%
很差
0.0%

每周参与评价的人数(最近3个月内)

10人读过 2人在读 58人想读
Monad

2018-07-24

隐德来希

2019-07-09      tags: Coq

东北大王

2016-04-24

clouilt

2015-10-07

到此一游

2015-06-12

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

追忆似风

2015-03-17      tags: 计算机科学

[已注销]

2012-12-22      tags: 交互式定理证明 TCS Coq 计算机科学 数学 程序设计语言

zzllrr

2012-02-12      tags: 计算机科学 数学 自动 证明

sNullp

2011-08-16

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

Mr. G.

2010-05-21

交互式定理证明与程序开发
译者: 顾明
作者: YvesBertot PierreCasteran
isbn: 9787302208136
书名: 交互式定理证明与程序开发
页数: 432
定价: 59.00元
出版社: 清华大学出版社
出版年: 2010-1

去"交互式定理证明与程序开发"的页面