000 |
|
01180nam 2200289 450 |
001 |
|
1000154066 |
005 |
|
20190605162932.0 |
010 |
__ |
■a978-7-5357-9442-0■dCNY49.00 |
100 |
__ |
■a20180306d2018 em y0chiy50 ea |
101 |
1_ |
■achi■ceng |
102 |
__ |
■aCN■b430000 |
105 |
__ |
■aa a 001yy |
106 |
__ |
■ar |
200 |
1_ |
■a逻辑的引擎■d= Engines of logic■f(美)马丁·戴维斯著■fMartin Davis■g张卜天译■+...... |
210 |
__ |
■a长沙■c湖南科学技术出版社■d2018 |
215 |
__ |
■a291页■c图■d21cm |
225 |
2_ |
■a第一推动丛书■i综合系列■v11■Adi yi tui dong cong shu |
320 |
__ |
■a有书目 (第258-263页) 和索引 |
330 |
__ |
■a本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一--逻辑或数学有更深的理解,并且造就一种+...... |
410 |
_0 |
■12001 ■a第一推动丛书■i综合系列■v11 |
500 |
10 |
■aEngines of logic■mChinese |
606 |
0_ |
■a计算机■j普及读物■x逻辑设计■Aji suan ji |
690 |
__ |
■aTP302.2-49■v5 |
701 |
_1 |
■a戴维斯■g(Davis, Martin)■4著■Adai wei si |
702 |
_0 |
■a张卜天■4译■Azhang bu tian |
801 |
|
■aCN■bGSXY■c20190605 |
905 |
|
■aGSXY■fTP302.2-49/D831■g1370535 |