Martin Davis

The Universal Computer: The Road from Leibniz to Turing, Third Edition

2018 · ENGLISH · EPUB

View details →

A Cartographic Analysis of Soviet Military City Plans

2021 · ENGLISH · PDF

View details →

The Universal Computer. The Road from Leibniz to Turing

2018 · ENGLISH · PDF

View details →

The universal computer : the road from Leibniz to Turing

2018 · ENGLISH · PDF

View details →

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2015 · ENGLISH · PDF

View details →

Hilbert's 10th Problem

1993 · ENGLISH · PDF

View details →

Alan M. Turing: Centenary Edition

2012 · ENGLISH · PDF

View details →

Computability and Unsolvability

1985 · ENGLISH · PDF

View details →

Computability and Unsolvability

1985 · ENGLISH · EPUB

View details →

The Universal Computer - The Road from Leibniz to Turing (Turing Centenary Edition)

2011 · ENGLISH · PDF

View details →

Il calcolatore universale: da Leibniz a Turing

2003 · ITALIAN · PDF

View details →

Applied Nonstandard Analysis

1977 · ENGLISH · DJVU

View details →

Hilbert's 10th Problem

1993 · ENGLISH · DJVU

View details →

Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science

1983 · ENGLISH · PDF

View details →

Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

1994 · ENGLISH · PDF

View details →

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

ENGLISH · DJVU

View details →

The Universal Computer: The Road from Leibniz to Turing

2000 · ENGLISH · PDF

View details →

Na logički pogon: podrijetlo ideje računala

2003 · CROATIAN · PDF

View details →

Applied Nonstandard Analysis

1977 · ENGLISH · PDF

View details →

Applied nonstandard analysis

1977 · ENGLISH · DJVU

View details →

Computability and Unsolvability

1985 · ENGLISH · DJVU

View details →

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions

2004 · ENGLISH · DJVU

View details →

Il calcolatore universale. Da Leibniz a Turing

2003 · ITALIAN · PDF

View details →

The Universal Computer: The Road from Leibniz to Turing

2000 · ENGLISH · DJVU

View details →