 | 2009 |
|---|
| 22 |       | Martin Davis:
Diophantine Equations and Computation.
UC 2009: 4-5 |
| 2007 |
|---|
| 21 | | Martin Davis:
SAT: Past and Future.
SAT 2007: 1-2 |
| 2006 |
|---|
| 20 | | Martin Davis:
The Church-Turing Thesis: Consensus and Opposition.
CiE 2006: 125-132 |
| 19 | | Martin Davis:
Why there is no such discipline as hypercomputation.
Applied Mathematics and Computation 178(1): 4-7 (2006) |
| 2005 |
|---|
| 18 | | Martin Davis:
What did Gödel believe and when did he believe it?
Bulletin of Symbolic Logic 11(2): 194-206 (2005) |
| 17 | | Martin Davis:
An Appreciation of Bob Paige.
Higher-Order and Symbolic Computation 18(1-2): 13-13 (2005) |
| 2001 |
|---|
| 16 |  | Martin Davis:
The Early History of Automated Deduction.
Handbook of Automated Reasoning 2001: 3-15 |
| 1995 |
|---|
| 15 | | Martin Davis:
American logic in the 1920s.
Bulletin of Symbolic Logic 1(3): 273-278 (1995) |
| 1991 |
|---|
| 14 | | Martin Davis,
Ronald Fechter:
A Free Variable Version of the First-Order Predicate Calculus.
J. Log. Comput. 1(4): 431-451 (1991) |
| 1989 |
|---|
| 13 | | Martin Davis:
Emil Post's Contributions to Computer Science
LICS 1989: 134-136 |
| 1988 |
|---|
| 12 | | Martin Davis,
Rohit Parikh:
Meeting of the Association for Symbolic Logic: New York City, May 1987.
J. Symb. Log. 53(4): 1270-1274 (1988) |
| 1986 |
|---|
| 11 | | Martin Davis,
E. G. K. López-Escobar,
Wilfred Sieg:
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.
J. Symb. Log. 51(4): 1085-1092 (1986) |
| 1982 |
|---|
| 10 | | Martin Davis,
Carl Smith,
Paul Young:
Introduction
Information and Control 52(1): 1 (1982) |
| 9 | | Martin Davis,
Carl Smith,
Paul Young:
Introduction
Information and Control 54(1/2): 1 (1982) |
| 8 | | Martin Davis:
Why Gödel Didn't Have Church's Thesis
Information and Control 54(1/2): 3-24 (1982) |
| 1981 |
|---|
| 7 | | Martin Davis:
Obvious Logical Inferences.
IJCAI 1981: 530-531 |
| 1980 |
|---|
| 6 | | Martin Davis:
The Mathematics of Non-Monotonic Reasoning.
Artif. Intell. 13(1-2): 73-80 (1980) |
| 1966 |
|---|
| 5 | | Martin Davis:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 31(4): 697-706 (1966) |
| 1962 |
|---|
| 4 | | Martin Davis,
George Logemann,
Donald W. Loveland:
A machine program for theorem-proving.
Commun. ACM 5(7): 394-397 (1962) |
| 1960 |
|---|
| 3 | | Martin Davis,
Hilary Putnam:
A Computing Procedure for Quantification Theory.
J. ACM 7(3): 201-215 (1960) |
| 1958 |
|---|
| 2 | | Martin Davis,
Hilary Putnam:
Reductions of Hilbert's Tenth Problem.
J. Symb. Log. 23(2): 183-187 (1958) |
| 1953 |
|---|
| 1 | | Martin Davis:
Arithmetical Problems and Recursively Enumerable Predicates.
J. Symb. Log. 18(1): 33-41 (1953) |
