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

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

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

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

10人读过 2人在读 59人想读
陈永华

2019-10-16

jooey

2019-08-06

VitalyR

2019-07-24      tags: 交互式定理证明

xd

2019-05-13

wzy

2019-04-21

abc

2019-03-16      tags: 数理逻辑

TA

2019-01-02

bnxkhvs

2018-12-16

火星最强指挥官

2018-11-21      tags: Coq

紫电风刀叶

2017-12-07      tags: ebooks 计算机科学

haskelllu

2017-08-29      tags: 计算机科学 证明 数学 自动 程序设计语言 Coq 编程 教材 程序语言 交互式定理证明

qdsxinyee

2017-08-15

靡音

2017-06-18      tags: 交互

woodbean

2016-07-07

Snowonion

2016-01-16

盖儿

2015-12-24      tags: 计算机科学 TOPL 定理证明 交互式定理证明

prettykernel

2015-12-20      tags: Coq

Leksah

2015-11-04

这本书竟然有中文版!但是已经买不到了!

TerabyteX

2015-02-28

悱然

2014-11-10

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

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