Faites connaître cet article à vos amis:
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic 1st ed. 2016 edition
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Outstanding Contributions to Logic
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
446 pages, 25 black & white illustrations, 2 colour illustrations, biography
| Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 9 février 2017 |
| ISBN13 | 9783319418414 |
| Éditeurs | Springer International Publishing AG |
| Pages | 438 |
| Dimensions | 155 × 235 × 25 mm · 825 g |
| Langue et grammaire | Français |
| Éditeur | Omodeo, Eugenio G. |
| Éditeur | Policriti, Alberto |
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier