Martin D. Davis

  1. home
  2. Author
  3. Martin D. Davis
Martin D. Davis

19 Published BooksMartin D. Davis

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

Popular Books by Martin D. Davis

The Universal Computer: The Road from Leibniz to Turing
The Universal Computer: The Road from Leibniz to Turing
View More

The Universal Computer: The Road from Leibniz to Turing

By: Martin D. Davis
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
View More

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

By: Martin D. Davis
Computability and Unsolvability
Computability and Unsolvability
View More

Computability and Unsolvability

By: Martin D. Davis
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)
View More

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

By: Martin D. Davis
Applied Nonstandard Analysis (Dover Books on Mathematics)
Applied Nonstandard Analysis (Dover Books on Mathematics)
View More

Applied Nonstandard Analysis (Dover Books on Mathematics)

By: Martin D. Davis
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
View More

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

By: Martin D. Davis
Diophantine Sets Over Polynomial Rings
Diophantine Sets Over Polynomial Rings
View More

Diophantine Sets Over Polynomial Rings

By: Martin D. Davis
A First Course in Functional Analysis (Dover Books on Mathematics)
A First Course in Functional Analysis (Dover Books on Mathematics)
View More

A First Course in Functional Analysis (Dover Books on Mathematics)

By: Martin D. Davis
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
View More

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

By: Martin D. Davis
A Formal Notion of Program-Based Test Data Adequacy (Classic Reprint): October, 1982
A Formal Notion of Program-Based Test Data Adequacy (Classic Reprint): October, 1982
View More

A Formal Notion of Program-Based Test Data Adequacy (Classic Reprint): October, 1982

By: Martin D. Davis