Martin Davis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1981–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CiE | Turing's Vision and Deep Learning. | Martin Davis |
| 2009 | UC | Diophantine Equations and Computation. | Martin Davis |
| 2007 | SAT | SAT: Past and Future. | Martin Davis |
| 2006 | CiE | The Church-Turing Thesis: Consensus and Opposition. | Martin Davis |
| 1989 | LICS | Emil Post's Contributions to Computer Science | Martin Davis |
| 1981 | IJCAI | Obvious Logical Inferences. | Martin Davis |