The universal computer
the road from Leibniz to Turing
Gespeichert in:
Verfasser / Beitragende:
Martin Davis
Ort, Verlag, Jahr:
New York :
W.W. Norton & Company,
2000
Beschreibung:
257 p. : ill., ports.
Format:
Buch
| LEADER | cam a22 4 4500 | ||
|---|---|---|---|
| 001 | 27368910X | ||
| 003 | CHVBK | ||
| 005 | 20201020194017.0 | ||
| 008 | 130818s2000 xxu 00 eng | ||
| 010 | |a 00040200 | ||
| 015 | |a GBA1-02737 |2 bnb | ||
| 016 | 7 | |a 0393047857 |2 Uk | |
| 020 | |a 0-393-04785-7 |c No price | ||
| 035 | |a (IDSBB)002272655 | ||
| 035 | |a (NEBIS)004079826 | ||
| 035 | |a (ABN)000311468 | ||
| 035 | |a (RERO)R003061597 | ||
| 040 | |a DLC |d IDS BS/BE A100 |e kids | ||
| 050 | |a QA76.17 |b D38 2000 | ||
| 072 | 7 | |a s1ph |2 rero | |
| 082 | 1 | |a 004 |2 15 | |
| 082 | 0 | |a 004/.09 |2 21 | |
| 084 | |a 19,2 |2 ssgn | ||
| 084 | |a NW 6500 |2 rvk | ||
| 084 | |a SR 800 |2 rvk | ||
| 100 | 1 | |a Davis |D Martin |d 1928- |0 (DE-588)116040866 | |
| 245 | 1 | 4 | |a The universal computer |b the road from Leibniz to Turing |c Martin Davis |
| 264 | 1 | |a New York |b W.W. Norton & Company |c 2000 | |
| 300 | |a 257 p. |b ill., ports. | ||
| 504 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Mathematische Logik |x Informatik |y Geschichte |2 idsbb | |
| 650 | 7 | |a Informatik |x Mathematische Logik |y Geschichte |2 idsbb | |
| 650 | 7 | |a Computer |y Geschichte |2 idsbb | |
| 650 | 0 | |a Artificial intelligence |x History | |
| 650 | 0 | |a Algorithms | |
| 650 | 0 | |a Electronic digital computers |x History | |
| 650 | 7 | |a COMPUTERGESCHICHTE + INFORMATIKGESCHICHTE |x ger |0 (ETHUDK)000041255 |2 ethudk | |
| 650 | 7 | |a THEORETISCHE INFORMATIK |x ger |0 (ETHUDK)000052054 |2 ethudk | |
| 650 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd | |
| 650 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd | |
| 650 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd | |
| 650 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd | |
| 691 | 7 | |B u |a COMPUTERGESCHICHTE + INFORMATIKGESCHICHTE |z ger |u 004*01*02 |2 nebis E1 | |
| 691 | 7 | |B u |a THEORETISCHE INFORMATIK |z ger |u 004*06 |2 nebis E1 | |
| 691 | 7 | |B u |a HISTOIRE DE L'INFORMATIQUE ET DES ORDINATEURS |z fre |u 004*01*02 |2 nebis E1 | |
| 691 | 7 | |B u |a HISTORY OF COMPUTERS + HISTORY OF COMPUTER SCIENCE |z eng |u 004*01*02 |2 nebis E1 | |
| 691 | 7 | |B u |a INFORMATIQUE THÉORIQUE |z fre |u 004*06 |2 nebis E1 | |
| 691 | 7 | |B u |a THEORETICAL COMPUTER SCIENCE |z eng |u 004*06 |2 nebis E1 | |
| 898 | |a BK020000 |b XK020000 |c XK020000 | ||
| 912 | 7 | |a if |2 SzZuIDS BS/BE | |
| 912 | 7 | |a te |2 SzZuIDS BS/BE | |
| 912 | 7 | |a 091 |2 E01-20010329 | |
| 949 | |B IDSBB |F A100 |b A100 |c 100FM |j UBH Kt 12917 |x NELA1000107 | ||
| 950 | |B IDSBB |P 100 |E 1- |a Davis |D Martin |d 1928- |0 (DE-588)116040866 | ||
| 950 | |B NEBIS |P 700 |E 1- |a Davis |D Martin | ||
| 950 | |B ABN |P 100 |E 1- |a Davis |D Martin | ||
| 950 | |B RERO |P 100 |E 1- |a Davis |D Martin |0 (IDREF)031840620 |4 cre | ||
| 986 | |a SWISSBIB |b 176695621 | ||
| 986 | |a ORANGE |b 27368910X | ||