cam a22 4 4500 27368910X CHVBK 20201020194017.0 130818s2000 xxu 00 eng 00040200 GBA1-02737 bnb 0393047857 Uk 0-393-04785-7 No price (IDSBB)002272655 (NEBIS)004079826 (ABN)000311468 (RERO)R003061597 DLC IDS BS/BE A100 kids QA76.17 D38 2000 s1ph rero 004 15 004/.09 21 19,2 ssgn NW 6500 rvk SR 800 rvk Davis Martin 1928- (DE-588)116040866 The universal computer the road from Leibniz to Turing Martin Davis New York W.W. Norton & Company 2000 257 p. ill., ports. Includes bibliographical references and index Mathematische Logik Informatik Geschichte idsbb Informatik Mathematische Logik Geschichte idsbb Computer Geschichte idsbb Artificial intelligence History Algorithms Electronic digital computers History COMPUTERGESCHICHTE + INFORMATIKGESCHICHTE ger (ETHUDK)000041255 ethudk THEORETISCHE INFORMATIK ger (ETHUDK)000052054 ethudk Algorithmus (DE-588)4001183-5 gnd Computer (DE-588)4070083-5 gnd Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd u COMPUTERGESCHICHTE + INFORMATIKGESCHICHTE ger 004*01*02 nebis E1 u THEORETISCHE INFORMATIK ger 004*06 nebis E1 u HISTOIRE DE L'INFORMATIQUE ET DES ORDINATEURS fre 004*01*02 nebis E1 u HISTORY OF COMPUTERS + HISTORY OF COMPUTER SCIENCE eng 004*01*02 nebis E1 u INFORMATIQUE THÉORIQUE fre 004*06 nebis E1 u THEORETICAL COMPUTER SCIENCE eng 004*06 nebis E1 BK020000 XK020000 XK020000 if SzZuIDS BS/BE te SzZuIDS BS/BE 091 E01-20010329 IDSBB A100 A100 100FM UBH Kt 12917 NELA1000107 IDSBB 100 1- Davis Martin 1928- (DE-588)116040866 NEBIS 700 1- Davis Martin ABN 100 1- Davis Martin RERO 100 1- Davis Martin (IDREF)031840620 cre SWISSBIB 176695621 ORANGE 27368910X