Martin Davis
About
Martin Davis has authored 83 papers that have received a total of 4.2k indexed citations.
This includes 29 papers in Computational Theory and Mathematics, 16 papers in Artificial Intelligence and 9 papers in Geometry and Topology. The topics of these papers are Computability, Logic, AI Algorithms (23 papers), History and Theory of Mathematics (8 papers) and Logic, programming, and type systems (7 papers). Martin Davis is often cited by papers focused on Computability, Logic, AI Algorithms (23 papers), History and Theory of Mathematics (8 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in United States, United Kingdom and Australia. Martin Davis's co-authors include Hilary Putnam, A. J. Kent, Reuben Hersh, Elaine J. Weyuker and S. Barry Cooper and has published in prestigious journals such as Nature, IEEE Transactions on Automatic Control and Communications of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Ya‐Jen Chang are co-authored with Top authors papers by Dorothea Fiedler are co-authored with Top fields papers by Stanko Skrtic are about Top countries impacted by papers by Michael L. Doyle Top countries impacted by papers by Shengrong Yang Top fields papers by Daniel S. Barth are about Top fields papers by Nilofer Qureshi are about Top fields papers by Corri Black are about