Martin Davis - RankMe

33 papers A* 2A 1B 1C 3Journal 19Unranked 1

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	The Brain-As-Computer Metaphor. Frontiers Comput. Sci. Martin Davis
2020	—	`conf`	Seventy Years of Computer Science. Fields of Logic and Computation III Martin Davis
2018	C	`conf`	Turing's Vision and Deep Learning. CiE Martin Davis
2016	—	`ch.`	Algorithms, Equations, and Logic. The Once and Future Turing Martin Davis
2016	—	`ch.`	Concluding Comments by Martin. Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis
2016	—	`ch.`	My Life as a Logician. Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis
2016	—	`ch.`	Pragmatic Platonism. Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis
2015	B	`ed.`	Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings LPAR Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
2014	—	`ch.`	Logic and the development of the computer. Computational Logic Martin Davis
2009	C	`conf`	Diophantine Equations and Computation. UC Martin Davis
2009	J	`jnl`	Sex and the mathematician: The High School Prom Theorem. Games Econ. Behav. Martin Davis
2008	J	`jnl`	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. Martin Davis
2007	A	`conf`	SAT: Past and Future. SAT Martin Davis
2006	C	`conf`	The Church-Turing Thesis: Consensus and Opposition. CiE Martin Davis
2006	J	`jnl`	Why there is no such discipline as hypercomputation. Appl. Math. Comput. Martin Davis
2005	J	`jnl`	An Appreciation of Bob Paige. High. Order Symb. Comput. Martin Davis
2005	J	`jnl`	What did Gödel believe and when did he believe it? Bull. Symb. Log. Martin Davis
2001	—	`ch.`	The Early History of Automated Deduction. Handbook of Automated Reasoning Martin Davis
1995	J	`jnl`	American logic in the 1920s. Bull. Symb. Log. Martin Davis
1991	J	`jnl`	A Free Variable Version of the First-Order Predicate Calculus. J. Log. Comput. Martin Davis, Ronald Fechter
1989	A*	`conf`	Emil Post's Contributions to Computer Science LICS Martin Davis
1988	J	`jnl`	Meeting of the Association for Symbolic Logic: New York City, May 1987. J. Symb. Log. Martin Davis, Rohit Parikh
1986	J	`jnl`	Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. J. Symb. Log. Martin Davis, E. G. K. López-Escobar, Wilfried Sieg
1982	J	`jnl`	Introduction Inf. Control. Martin Davis, Carl Smith, Paul Young
1982	J	`jnl`	Introduction Inf. Control. Martin Davis, Carl Smith, Paul Young
1982	J	`jnl`	Why Gödel Didn't Have Church's Thesis Inf. Control. Martin Davis
1981	A*	`conf`	Obvious Logical Inferences. IJCAI Martin Davis
1980	J	`jnl`	The Mathematics of Non-Monotonic Reasoning. Artif. Intell. Martin Davis
1966	J	`jnl`	Meeting of the Association for Symbolic Logic. J. Symb. Log. Martin Davis
1962	J	`jnl`	A machine program for theorem-proving. Commun. ACM Martin Davis, George Logemann, Donald W. Loveland
1960	J	`jnl`	A Computing Procedure for Quantification Theory. J. ACM Martin Davis, Hilary Putnam
1958	J	`jnl`	Reductions of Hilbert's Tenth Problem. J. Symb. Log. Martin Davis, Hilary Putnam
1953	J	`jnl`	Arithmetical Problems and Recursively Enumerable Predicates. J. Symb. Log. Martin Davis