cam a22 4 4500 439163358 CHVBK 20200930104036.0 170304s2015 sz 00 eng|d 978-3-319-22155-7 3-319-22155-8 978-3-319-22156-4 eBook (IDSBB)006669291 (NEBIS)010526435 (OCoLC)913557007 YDXCP ger SzZuIDS NEBIS ETH-BIB SzZuIDS BS/BE A216 rda 510.71 23 510.9/2 23 511.3 23 100 15 510 15 SR 800 rvk 510 sdnb SF 8465 rvk Turing's revolution the impact of his ideas about computability Giovanni Sommaruga, Thomas Strahm, editors Cham Birkhäuser [2015] xxiv, 329 Seiten Illustrationen Turing, Alan Mathison 1912-1954 Turing, Alan Mathison 1912-1954 (DE-588)118802976 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd Computable functions Computer science Mathematics Berechenbarkeit (DE-588)4138368-0 gnd Computer (DE-588)4070083-5 gnd Entwicklung (DE-588)4113450-3 gnd Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Turing-Maschine (DE-588)4203525-9 gnd ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK) ger (ETHUDK)000061632 ethudk ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK) ger (ETHUDK)000012493 ethudk ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger (ETHUDK)000012524 ethudk PHILOSOPHIE DER MATHEMATIK ger (ETHUDK)000012477 ethudk REKURSIONSTHEORIE (MATHEMATIK) ger (ETHUDK)000012501 ethudk TURINGMASCHINEN (UNIVERSELLE MASCHINEN) ger (ETHUDK)000013785 ethudk Aufsatzsammlung gnd-content u 51 :92 Mathematiker-Biographien idsuzh UK u 519 :92 Informatiker-, Statistiker-Biographien idsuzh UK u Turing, Alan Mathison 1912-1954 nebis E2 u ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK) ger 510.5 nebis E1 u ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger 510.665 nebis E1 u TURINGMASCHINEN (UNIVERSELLE MASCHINEN) ger 519.712.5,1 nebis E1 u REKURSIONSTHEORIE (MATHEMATIK) ger 510.57 nebis E1 u ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK) ger 004*06*01 nebis E1 u PHILOSOPHIE DER MATHEMATIK ger 510.21 nebis E1 u ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS) eng 510.5 nebis E1 u ALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES) fre 510.5 nebis E1 u DECISION PROBLEMS (MATHEMATICAL LOGIC) eng 510.665 nebis E1 u PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) fre 510.665 nebis E1 u TURING MACHINES (UNIVERSAL MACHINES) eng 519.712.5,1 nebis E1 u MACHINES DE TURING (MACHINES UNIVERSELLES) fre 519.712.5,1 nebis E1 u RECURSION THEORY (MATHEMATICS) eng 510.57 nebis E1 u THÉORIE DE LA RÉCURSIVITÉ (MATHÉMATIQUES) fre 510.57 nebis E1 u ABSTRACT DEVICES + UNIVERSAL MACHINES (THEORETICAL COMPUTER SCIENCE) eng 004*06*01 nebis E1 u MODULES ABSTRAITS + MACHINES UNIVERSELLES (INFORMATIQUE THÉORIQUE) fre 004*06*01 nebis E1 u PHILOSOPHY OF MATHEMATICS eng 510.21 nebis E1 u PHILOSOPHIE DES MATHÉMATIQUES fre 510.21 nebis E1 Sommaruga Giovanni (DE-588)1085141594 Herausgeber edt Strahm Thomas (DE-588)1103057448 Herausgeber edt BK020000 XK020000 XK020000 E64-20170925 nebis EN zbzmon201606l wyse zbzswk201606b somm idszbz Z2 mt SzZuIDS BS/BE 121 E01-20160229 E30INFO E30-20160512 096 E01-20160229 UFBIINFO UFBI-20160404 UFBIMATH UFBI-20160404 E64A E64-20170925 NEBIS E30 E30 E30BI EDF 217 IDSBB A216 A216 MAG MAT 00L TU TURING NELA2161703 IDSBB 700 1- Sommaruga Giovanni (DE-588)1085141594 Herausgeber edt IDSBB 700 1- Strahm Thomas (DE-588)1103057448 Herausgeber edt NEBIS 700 1- Sommaruga Giovanni Herausgeber edt NEBIS 700 1- Strahm Thomas Herausgeber edt NEBIS EAD50 https://opac.nebis.ch/objects/pdf03/e01_978-3-319-22155-7_01.pdf Titelblatt und Inhaltsverzeichnis VIEW pdf NEBIS EAD50 https://opac.nebis.ch/objects/pdf03/e01_978-3-319-22155-7_02.pdf Abstract / Autoreninformation VIEW pdf SWISSBIB 357748751 ORANGE 439163358