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

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

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

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

lisp大包

2011-12-07      tags: 程序设计语言

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

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