You are here: Home › Author › Martin D. Davis
Martin D. Davis

Martin D. Davis

19 books

The Universal Computer: The Road from Leibniz to Turing

The Universal Computer: The Road from Leibniz to Turing

by Martin D. Davis

4.11 of 496

Alan M. Turing: Centenary Edition

Alan M. Turing: Centenary Edition

by Sara Turing

3.36 of 157

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

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

by Martin D. Davis

4.06 of 32

Computability and Unsolvability

Computability and Unsolvability

by Martin D. Davis

3.84 of 32

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

4.19 of 16

Applied Nonstandard Analysis (Dover Books on Mathematics)

Applied Nonstandard Analysis (Dover Books on Mathematics)

by Martin D. Davis

4.60 of 5

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Jacob T. Schwartz

4.00 of 2

Hilbert's 10th Problem

Hilbert's 10th Problem

by Yuri V. Matijasevich

3.50 of 2

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

4.00 of 1

Diophantine Sets Over Polynomial Rings

Diophantine Sets Over Polynomial Rings

by Martin D. Davis

4.00 of 1

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

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

by Martin D. Davis

0.0 of 0

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

0.0 of 0

A Formal Notion of Program-Based Test Data Adequacy: October, 1982

A Formal Notion of Program-Based Test Data Adequacy: October, 1982

by Martin D. Davis

0.0 of 0

Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem: June 1961

Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem: June 1961

by Martin D. Davis

0.0 of 0

A Machine Program for Theorem-proving

A Machine Program for Theorem-proving

by Martin D. Davis

0.0 of 0

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

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

0.0 of 0

Hilbert's Tenth Problem Is Unsolvable

Hilbert's Tenth Problem Is Unsolvable

by Martin D. Davis

0.0 of 0

Solvability, Probability, Definability: The Collected Works of Emil L. Post

Solvability, Probability, Definability: The Collected Works of Emil L. Post

by Emil Leon Post

0.0 of 0