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
ISBN: 0-393-04785-7
Bibliographie: Includes bibliographical references and index
Schlagwörter IDS Basel Bern: Mathematische Logik > Informatik > Geschichte
Informatik > Mathematische Logik > Geschichte
Computer > Geschichte
Schlagwörter Library of Congress Subject Headings: Artificial intelligence > History
Algorithms
Electronic digital computers > History
Schlagwörter GND Inhalt: Algorithmus
Computer
Informatik
Mathematische Logik