| 000 |
|
01340oam2 2200313 450 |
| 001 |
|
0012138137 |
| 005 |
|
20220903153020.8 |
| 010 |
__ |
■a978-7-5357-9442-0■dCNY49.00 |
| 010 |
__ |
■a978-7-5357-9558-8■bCNY2598.00(全套) |
| 100 |
__ |
■a20181129d2018 em y0chiy50 ea |
| 101 |
1_ |
■achi■ceng |
| 102 |
__ |
■aCN■b430000 |
| 105 |
__ |
■aa z 001yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a逻辑的引擎■dEngines of logic■f(美)马丁·戴维斯(Martin Davis)著■g张卜天译■ze+...... |
| 210 |
__ |
■a长沙■c湖南科学技术出版社■d2018.01■h2022.03 |
| 215 |
__ |
■a17, 291页■c图■d21cm |
| 225 |
2_ |
■a第一推动丛书■i综合系列■v03■9di yi tui dong cong shu |
| 305 |
__ |
■a湖南科学技术出版社通过中国台湾博达著作权代理有限公司获得本书中文简体版中国大陆独家出版发行权 |
| 330 |
__ |
■a本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天+...... |
| 461 |
_0 |
■12001 ■a第一推动丛书 |
| 462 |
_0 |
■12001 ■a综合系列 |
| 510 |
1_ |
■aEngines of logic■zeng |
| 606 |
0_ |
■a计算机■j普及读物■x逻辑设计■9ji suan ji |
| 690 |
__ |
■aTP302.2■v5 |
| 701 |
_0 |
■a戴维斯■c(美)■c(Davis, Martin)■4著■9dai wei si |
| 702 |
_0 |
■a张卜天■f(1979-)■4译■9zhang bu tian |
| 801 |
__ |
■aCN■b南昌职业大学图书馆■c20220903 |
| 905 |
|
■a南昌职业大学图书馆■dTP302.2/9 |
(共0票)
评价
