| 暂存书架(0) | 登录

MARC状态:审校 文献类型:西文图书 浏览次数:168

题名/责任者:
Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman.
版本说明:
First English edition.
出版发行项:
New York, NY : Cambridge University Press, c2015.
ISBN:
9780521133777 (paperback)
ISBN:
9780521118019 (hardback)
ISBN:
0521118018 (hardback)
ISBN:
0521133777 (paperback)
载体形态项:
viii, 152 pages : illustrations ; 22 cm
变异题名:
Mathematics enters a new age
个人责任者:
Dowek, Gilles.
附加个人名称:
Guillot, Pierre, 1978-
附加个人名称:
Roman, Marion.
论题主题:
Mathematics-History-20th century.
论题主题:
Mathematics-History.
论题主题:
Mathematics, Ancient.
中图法分类号:
O11
书目附注:
Includes bibliographical references (pages 149-152) and index.
语种附注:
Text in English.
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O11/BD1 40042320  - 外文书库(外文原版)(11F)     非可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架