Interactive Theorem Proving and Program Development 全部版本(2)

按收藏人数排序 / 按出版时间先后排序
Interactive Theorem Proving and Program Development
作者: Yves Bertot
出版社: Springer
出版年: 2004-06-24
19人想读 / 5人读过 6.3

交互式定理证明与程序开发
译者: 顾明
作者: YvesBertot
出版社: 清华大学出版社
出版年: 2010-1
59人想读 / 10人读过 7.4

> 我来补充

> 删除

> 报错

贡献者: [已注销]  


什么是同一作品的不同版本?

同一作品的不同版本都是一个作者所著,图书内容大体相同。不同的可能是语言、译者、出版社、出版年代、装帧、定价等。

例如花城出版社的王小波《黄金时代》和陕西师范大学出版社的王小波《黄金时代》是同一作品的不同版本。

欢迎大家根据以上定义为豆瓣添加图书版本信息。