Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Martin D. Davis

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Martin D. Davis

Publications

2021
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fcomp/Davis21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcomp/Davis21
Martin Davis:
The Brain-As-Computer Metaphor. Frontiers Comput. Sci. 3: 681416 (2021)
2020
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Davis20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Davis20
Martin Davis:
Seventy Years of Computer Science. Fields of Logic and Computation III 2020: 105-117
2018
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/Davis18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/Davis18
Martin Davis:
Turing's Vision and Deep Learning. CiE 2018: 146-155
2016
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Davis16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Davis16
Martin Davis:
Algorithms, Equations, and Logic. The Once and Future Turing 2016: 4-19
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Davis16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Davis16
Martin Davis:
My Life as a Logician. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 1-33
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Davis16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Davis16a
Martin Davis:
Pragmatic Platonism. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 349-356
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Davis16b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Davis16b
Martin Davis:
Concluding Comments by Martin. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 357-362
2014
[r1]
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Davis14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Davis14
Martin Davis:
Logic and the development of the computer. Computational Logic 2014: 31-38
2009
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/Davis09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/Davis09
Martin Davis:
Sex and the mathematician: The High School Prom Theorem. Games Econ. Behav. 66(2): 600 (2009)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/uc/Davis09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uc/Davis09
Martin Davis:
Diophantine Equations and Computation. UC 2009: 4-5
2008
[j20]
- view
  - electronic edition @ jstor.org
  - no references & citations available
- export record
  dblp key:
  - journals/tamm/Davis08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tamm/Davis08
Martin Davis:
Inexhaustibility: A Non-Exhaustive Treatment by Torkel Franzén; Gödel's Theorem: An Incomplete Guide to Its Use and Misuse by Torkel Franzén. Am. Math. Mon. 115(3): 270-275 (2008)
2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Davis07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Davis07
Martin Davis:
SAT: Past and Future. SAT 2007: 1-2
2006
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/amc/Davis06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amc/Davis06
Martin Davis:
Why there is no such discipline as hypercomputation. Appl. Math. Comput. 178(1): 4-7 (2006)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/Davis06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/Davis06
Martin Davis:
The Church-Turing Thesis: Consensus and Opposition. CiE 2006: 125-132
2005
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Davis05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Davis05a
Martin D. Davis:
Christos Papadimitriou, Turing: A Novel About Computation, MIT Press (2003). Artif. Intell. 169(2): 209-210 (2005)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Davis05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Davis05
Martin Davis:
What did Gödel believe and when did he believe it? Bull. Symb. Log. 11(2): 194-206 (2005)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Davis05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Davis05
Martin Davis:
An Appreciation of Bob Paige. High. Order Symb. Comput. 18(1-2): 13-13 (2005)
2001
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/el/RV01/Davis01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/RV01/Davis01
Martin Davis:
The Early History of Automated Deduction. Handbook of Automated Reasoning 2001: 3-15
1995
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Davis95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Davis95
Martin Davis:
American logic in the 1920s. Bull. Symb. Log. 1(3): 273-278 (1995)
1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Davis89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Davis89
Martin Davis:
Emil Post's Contributions to Computer Science. LICS 1989: 134-136
1982
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Davis82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Davis82
Martin Davis:
Why Gödel Didn't Have Church's Thesis. Inf. Control. 54(1/2): 3-24 (1982)
1981
[c1]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/Davis81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Davis81
Martin Davis:
Obvious Logical Inferences. IJCAI 1981: 530-531
1980
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Davis80b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Davis80b
Martin Davis:
The Mathematics of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 73-80 (1980)
1966
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Davis66
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Davis66
Martin Davis:
Meeting of the Association for Symbolic Logic. J. Symb. Log. 31(4): 697-706 (1966)
1958
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0032222
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0032222
Martin D. Davis:
Computability and Unsolvability. McGraw-Hill Series in Information Processing and Computers, McGraw-Hill 1958, pp. I-XXV, 1-210
1953
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Davis53
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Davis53
Martin Davis:
Arithmetical Problems and Recursively Enumerable Predicates. J. Symb. Log. 18(1): 33-41 (1953)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.