The universal computer : the road from Leibniz to Turing /
Davis, Martin,1928-
New York ; London : W.W. Norton,
c2000.
Includes bibliographical references and index.
Electronic digital computers
Artificial intelligence
Algorithms.