The universal computer

the road from Leibniz to Turing

Verfasser / Beitragende:
Martin Davis
Ort, Verlag, Jahr:
New York : W.W. Norton & Company, 2000
Beschreibung:
257 p. : ill., ports.
Format:
Buch
ID: 27368910X
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