|
000
|
01117oam2 2200301 450
|
|
001
|
0100005506
|
|
010
|
|
@a7-5357-4239-4@dCNY20.00
|
|
100
|
|
@a20050628d2005 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b430000
|
|
105
|
|
@aa z 001yd
|
|
106
|
|
@ar
|
|
200
|
1
|
@a逻辑的引擎@9luo ji de yin qing@b专著@f(美)马丁·戴维斯(Martin Davis)著@F( mei ) ma ding dai wei si (Martin Davis) zhu@g张卜天译@Gzhang bu tian yi
|
|
210
|
|
@a长沙@c湖南科学技术出版社@d2005
|
|
215
|
|
@a293页@c照片@d21cm
|
|
225
|
2
|
@a第一推动丛书
|
|
305
|
|
@a博达著作权代理有限公司授权出版 据美国W.W.Norton公司2000年版本译出
|
|
308
|
|
@a丛书第四辑
|
|
330
|
|
@a本书讲述的是我们现代计算机背后的那些基本概念和发展出这些概念的人，他们是：莱布尼茨、布尔、弗雷格等；讲述这些人的生活故事，并解释他们的部分思想。
|
|
510
|
1
|
@aEngines of Logic@zeng
|
|
606
|
0
|
@a科学家@x生平事迹@y世界
|
|
606
|
0
|
@a科学家
|
|
690
|
|
@aK816.1@v4
|
|
701
|
0
|
@c(美)@a戴维斯@9dai wei si@c(Davis, Martin)@4著
|
|
702
|
0
|
@a张卜天@9zhang bu tian@c(翻译)@4译
|
|
801
|
|
@aCN@bnygyxylib
|
|
901
|
|
@a000010
|
|
905
|
|
@eM031@dK816.1@b681292-4@f3
|
|
|
|
|
| |
| 逻辑的引擎/(美)马丁·戴维斯(Martin Davis)著/张卜天译.-长沙：湖南科学技术出版社，2005 |
| 293页：照片；21cm.-(第一推动丛书) |
| |
| |
| ISBN 7-5357-4239-4：CNY20.00 |
| 本书讲述的是我们现代计算机背后的那些基本概念和发展出这些概念的人，他们是：莱布尼茨、布尔、弗雷格等；讲述这些人的生活故事，并解释他们的部分思想。 |
| ● |
正题名：逻辑的引擎
索取号：K816.1/M031
预约/预借
