机读格式显示(MARC)
- 010 __ |a 978-7-5357-9442-0 |d CNY49.00
- 100 __ |a 20180317d2018 em y0chiy50 ea
- 200 1_ |a 逻辑的引擎 |A luo ji de yin qing |f (美) 马丁·戴维斯著 |d = Engines of logic |f Martin Davis |g 张卜天译 |z eng
- 210 __ |a 长沙 |c 湖南科学技术出版社 |d 2018.01
- 215 __ |a 17, 291页 |c 图 |d 21cm
- 225 2_ |a 第一推动丛书 |A di yi tui dong cong shu |i 综合系列 |v 03
- 314 __ |a (美) 马丁·戴维斯, 计算机科学发展史上的先驱人物。张卜天, 中国科技大学物理学学士等。
- 320 __ |a 有书目 (第225-263页) 和索引
- 330 __ |a 本书剖析了计算机思想层面的历史, 通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
- 410 _0 |1 2001 |a 第一推动丛书 |i 综合系列 |v 03
- 500 10 |a Engines of logic |A Engines Of Logic |m Chinese
- 606 0_ |a 电子计算机 |A dian zi ji suan ji |x 逻辑设计 |j 普及读物
- 701 _1 |a 戴维斯 |A dai wei si |g (Davis, Martin) |4 著
- 702 _0 |a 张卜天 |A zhang bu tian |4 译
- 801 _0 |a CN |b 安徽时代 |c 20180317
- 905 __ |a LIB |d TP302.2/33