2007 |
21 | EE | Martin Davis:
SAT: Past and Future.
SAT 2007: 1-2 |
2006 |
20 | EE | Martin Davis:
The Church-Turing Thesis: Consensus and Opposition.
CiE 2006: 125-132 |
19 | EE | Martin Davis:
Why there is no such discipline as hypercomputation.
Applied Mathematics and Computation 178(1): 4-7 (2006) |
2005 |
18 | EE | Martin Davis:
What did Gödel believe and when did he believe it?
Bulletin of Symbolic Logic 11(2): 194-206 (2005) |
17 | EE | 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 | EE | 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 | EE | Martin Davis,
George Logemann,
Donald W. Loveland:
A machine program for theorem-proving.
Commun. ACM 5(7): 394-397 (1962) |
1960 |
3 | EE | 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) |