Books by Martin D. Davis

Martin D. Davis
Average rating 4.09 · 605 ratings · 72 reviews · shelved 3,157 times

Showing 19 distinct works.

	The Universal Computer: The Road from Leibniz to Turing by Martin D. Davis 4.10 avg rating — 505 ratings — published 2000 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Alan M. Turing: Centenary Edition by Sara Turing, John F. Turing, Lyn Irvine, Martin D. Davis (Foreword) 3.36 avg rating — 159 ratings — published 1959 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science by Martin D. Davis, Ron Sigal, Elaine J. Weyuker 4.06 avg rating — 32 ratings — published 1983 — 11 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computability and Unsolvability by Martin D. Davis 3.84 avg rating — 32 ratings — published 1958 — 13 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics) by Martin D. Davis (Editor) 4.19 avg rating — 16 ratings — published 1965 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Applied Nonstandard Analysis (Dover Books on Mathematics) by Martin D. Davis 4.60 avg rating — 5 ratings — published 1977 — 8 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computational Logic and Set Theory: Applying Formalized Logic to Analysis by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin D. Davis (Foreword) really liked it 4.00 avg rating — 2 ratings — published 2007 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Hilbert's 10th Problem by Yuri V. Matijasevich, Iu.V. Matiiasevich, Yuri Matiyasevich, Martin D. Davis (Foreword) 3.50 avg rating — 2 ratings — published 1993 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz by Martin D. Davis, Jacob T. Schwartz really liked it 4.00 avg rating — 1 rating — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Diophantine Sets Over Polynomial Rings by Martin D. Davis, Hilary Putnam really liked it 4.00 avg rating — 1 rating — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A First Course in Functional Analysis (Dover Books on Mathematics) by Martin D. Davis 0.00 avg rating — 0 ratings — published 1966 — 12 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz by Martin D. Davis (Editor), Edmond Schonberg (Editor) 0.00 avg rating — 0 ratings — published 2012 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Formal Notion of Program-Based Test Data Adequacy: October, 1982 by Martin D. Davis 0.00 avg rating — 0 ratings — published 2015 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem: June 1961 by Martin D. Davis 0.00 avg rating — 0 ratings — published 2015 — 8 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Machine Program for Theorem-proving by Martin D. Davis, George Logemann, Donald Loveland 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues) by Martin D. Davis (Editor), Ansgar Fehnker (Editor), Annabelle McIver (Editor), Andrei Voronkov (Editor) 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Hilbert's Tenth Problem Is Unsolvable by Martin D. Davis 0.00 avg rating — 0 ratings — published 1973	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Emil Post: Collected Papers by Emil Leon Post (Editor), Martin D. Davis (Editor) 0.00 avg rating — 0 ratings — published 1994	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Solvability, Provability, Definability by Emil Leon Post, Martin D. Davis (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.