Author books / Книги автора Martin Davis » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Martin Davis

book A Cartographic Analysis of Soviet Military City Plans

A Cartographic Analysis of Soviet Military City Plans

pdf

Author: Martin Davis
Language: English
Year: 2021

00

12.02.2024

0

0

book Practical Injection Molding

Practical Injection Molding

pdf

Author: Bernie A. Olmsted (Editor), Martin Davis (Editor)
Year: 2001

00

07.02.2024

0

0

book The Universal Computer. The Road from Leibniz to Turing

The Universal Computer. The Road from Leibniz to Turing

pdf

Author: Martin Davis
Language: English
Year: 2018

00

29.01.2024

0

0

book The universal computer : the road from Leibniz to Turing

The universal computer : the road from Leibniz to Turing

pdf

Author: Martin Davis
Language: English
Year: 2018

00

29.01.2024

0

0

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

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

pdf

Author: Martin Davis Ansgar Fehnker Annabelle McIver Andrei Voronkov (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Hilbert's 10th Problem

Hilbert's 10th Problem

pdf

Author: Yuri Matiyasevich Martin Davis Hilary Putnam
Language: English
Year: 1993

00

27.01.2024

0

0

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

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

pdf

Author: Martin Davis (editor)
Language: English
Year: 1994

00

27.01.2024

0

0

book Alan M. Turing: Centenary Edition

Alan M. Turing: Centenary Edition

pdf

Author: Sara Turing John F. Turing Lyn Irvine Martin Davis
Language: English
Year: 2012

00

27.01.2024

0

0

book Computability and Unsolvability

Computability and Unsolvability

pdf

Author: Martin Davis
Language: English
Year: 1985

00

27.01.2024

0

0

book Computability and Unsolvability

Computability and Unsolvability

epub

Author: Martin Davis
Language: English
Year: 1985

00

27.01.2024

0

0