Martin Davis

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

The Universal Computer: The Road from Leibniz to Turing
Martin Davis (2000) · W. W. Norton
Influences of Mathematical Logic on Computer Science
Martin Davis (1990)
A machine program for theorem-proving
Martin Davis and others (1962) · Communications of the ACM · Association for Computing Machinery
A Computing Procedure for Quantification Theory
Martin Davis and others (1960) · Journal of the ACM · Association for Computing Machinery