Illustration

Biographie et livres de Martin Davis

Découvrez tout l'univers de l'auteur en livre numérique
Born in New York City in 1928, Martin Davis was a student of Emil L. Post at City College and his doctorate at Princeton in 1950 was under the supervision of Alonzo Church. Davis's book Computability and Unsolvability (1958) has been called "one of the few real classics in computer science." He is best known for his pioneering work in automated deduction and for his contributions to the solution of Hilbert's tenth problem. For this latter work he was awarded the Chauvenet and Lester R. Ford
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : A Cartographic Analysis of Soviet Military City Plans
Ajouter à ma liste d'envies
A Cartographic Analysis of Soviet Military City Plans

Martin Davis

Springer

2021-09-29

PDF, ePub

The collapse of the Soviet Union has seen the emergence of its unprecedentedly comprehensive global secret military mapping project and the commercial availability of a vast number of detailed topographic maps and city plans at several scales. This...

179,34 €

En savoir plus

Ebooks de Martin Davis en PDF et EPUB

1 Livre(s)
Télécharger le livre : From Linear Operators to Computational Biology
Ajouter à ma liste d'envies
From Linear Operators to Computational Biology
Martin Davis , Edmond Schonberg
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry.In this volume of essays, his friends,...

Editeur : Springer
Parution : 2012-07-28

ePub

94,94 €