Martin Davis - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2021

The Brain-As-Computer MetaphorMartin Davis. fcomp, 3:681416, 2021. [doi]

2020

Seventy Years of Computer ScienceMartin Davis. BIRTHDAY 2020: 105-117 [doi]

2018

Turing's Vision and Deep LearningMartin Davis. CiE 2018: 146-155 [doi]

2016

Algorithms, Equations, and LogicMartin Davis. In S. Barry Cooper, Andrew Hodges, editors, The Once and Future Turing: Computing the World. pages 4-19, Cambridge University Press, 2016. [doi]

Pragmatic PlatonismMartin Davis. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 349-356, Springer, 2016. [doi]

Concluding Comments by MartinMartin Davis. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 357-362, Springer, 2016. [doi]

My Life as a LogicianMartin Davis. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 1-33, Springer, 2016. [doi]

2014

Logic and the development of the computerMartin Davis. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, pages 31-38, Elsevier, 2014. [doi]

2009

Diophantine Equations and ComputationMartin Davis. uc 2009: 4-5 [doi]

Sex and the mathematician: The High School Prom TheoremMartin Davis. geb, 66(2):600, 2009. [doi]

2008

Inexhaustibility: A Non-Exhaustive Treatment by Torkel Franzén; Gödel's Theorem: An Incomplete Guide to Its Use and Misuse by Torkel FranzénMartin Davis. tamm, 115(3):270-275, 2008. [doi]

2007

SAT: Past and FutureMartin Davis. sat 2007: 1-2 [doi]

2006

Why there is no such discipline as hypercomputationMartin Davis. amc, 178(1):4-7, 2006. [doi]

The Church-Turing Thesis: Consensus and OppositionMartin Davis. cie 2006: 125-132 [doi]

2005

An Appreciation of Bob PaigeMartin Davis. lisp, 18(1-2):13-13, 2005. [doi]

What did Gödel believe and when did he believe it?Martin Davis. bsl, 11(2):194-206, 2005. [doi]

2001

The Early History of Automated DeductionMartin Davis. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 3-15, Elsevier and MIT Press, 2001.

1995

American logic in the 1920sMartin Davis. bsl, 1(3):273-278, 1995. [doi]

1991

A Free Variable Version of the First-Order Predicate CalculusMartin Davis, Ronald Fechter. logcom, 1(4):431-451, 1991.

1989

Emil Post s Contributions to Computer ScienceMartin Davis. lics 1989: 134-136

1988

Meeting of the Association for Symbolic Logic: New York City, May 1987Martin Davis, Rohit Parikh. JSYML, 53(4):1270-1274, 1988.

1986

Meeting of the Association for Symbolic Logic: Washington, D. C., 1985Martin Davis, E. G. K. López-Escobar, Wilfred Sieg. JSYML, 51(4):1085-1092, 1986.

1982

Why Gödel Didn t Have Church s ThesisMartin Davis. iandc, 54(1/2):3-24, July/August 1982.

IntroductionMartin Davis, Carl Smith, Paul Young. iandc, 54(1/2):1, July/August 1982.

IntroductionMartin Davis, Carl Smith, Paul Young. iandc, 52(1):1, January 1982.

1981

Obvious Logical InferencesMartin Davis. IJCAI 1981: 530-531

1980

The Mathematics of Non-Monotonic ReasoningMartin Davis. ai, 13(1-2):73-80, 1980.

1966

Meeting of the Association for Symbolic LogicMartin Davis. JSYML, 31(4):697-706, 1966.

1962

A machine program for theorem-provingMartin Davis, George Logemann, Donald W. Loveland. CACM, 5(7):394-397, 1962. [doi]

1960

A Computing Procedure for Quantification TheoryMartin Davis, Hilary Putnam. JACM, 7(3):201-215, 1960. [doi]

1958

Reductions of Hilbert s Tenth ProblemMartin Davis, Hilary Putnam. JSYML, 23(2):183-187, 1958.

1953

Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis. JSYML, 18(1):33-41, 1953.

Sign in or sign up to see more results.

runs on WebDSL