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

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

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

By: Martin D. Davis

Computability and Unsolvability

Computability and Unsolvability

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)

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)

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

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

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)

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

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

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

By: Martin D. Davis