嶺東科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Computation, proof, machine : mathematics enters a new age

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	mathematics enters a new age
作者:	DowekGilles,
其他作者:	GuillotPierre, 1978-
其他作者:	RomanMarion,
出版地:	New York, NY
出版者:	Cambridge University Press;
出版年:	2015
面頁冊數:	viii, 152 pagesillustrations : 23 cm.;
標題:	Mathematics, Ancient. -
標題:	Mathematics - History. -
標題:	Mathematics - History - 20th century. -
ISBN:	0-521-11801-8bound
ISBN:	978-0-521-11801-9bound

Computation, proof, machine : mathematics enters a new age
Dowek, Gilles

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. - New York, NY : Cambridge University Press, 2015. - viii, 152 pages ; illustrations ; 23 cm..
Includes bibliographical references (pages 149-152).
ISBN 0-521-11801-8ISBN 978-0-521-11801-9
Mathematics, Ancient.Mathematics Mathematics -- History. -- History -- 20th century.

Guillot, Pierre

Computation, proof, machine : mathematics enters a new age
LDR:00792cam a2200205 450 001 319112
005 20151209101537.0
010 1 $a 0-521-11801-8 $b bound $d NT$3997
010 1 $a 978-0-521-11801-9 $b bound $d NT$3997
020 $a US
100 $a 20161110d2015 m y0engy09 b
101 0 $a eng
102 $a us
105 $a a a 001yy
200 1 $a Computation, proof, machine $e mathematics enters a new age $f Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman.
210 $a New York, NY $d 2015 $c Cambridge University Press
215 1 $a viii, 152 pages $c illustrations $d 23 cm.
320 $a Includes bibliographical references (pages 149-152)
517 1 $a Mathematics enters a new age
606 # $a Mathematics, Ancient. $2 lc $3 384054
606 # $a Mathematics $x History. $2 lc $3 384053
606 # $a Mathematics $x History $z 20th century. $2 lc $3 384052
676 $a 510.9
700 1 $a Dowek $b Gilles $3 387377
702 0 $a Guillot $b Pierre $f 1978- $4 translated $3 384050
702 0 $a Roman $b Marion $4 translated $3 387378
801 0 $a tw $b 嶺東科技大學圖書館

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

356037

總館A區6F

一般流通

一般圖書

510.9 D746

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入