Martin D. Davis

Martin D. Davis’s Followers (13)

member photo

member photo

member photo

member photo

member photo

member photo

member photo

member photo

member photo

member photo

member photo

member photo

member photo

Martin D. Davis

Born

New York City, The United States

Martin David Davis (born 1928) is Professor Emeritus at New York University's Computer Science Department. ...more

Combine Editions
Martin D. Davis’s books

Average rating: 4.09 · 603 ratings · 72 reviews · 19 distinct works • Similar authors

	The Universal Computer: The Road from Leibniz to Turing 4.11 avg rating — 503 ratings — published 2000 — 27 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 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) 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) 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
	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) 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 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

More books by Martin D. Davis…

Is this you? Let us know. If not, help out and invite Martin to Goodreads.