Tous les livres numériques d'Alberto Policriti en PDF et EPUB

1 Livre(s)
Télécharger le livre : Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Eugenio G. Omodeo , Alberto Policriti
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. The individual contributions touch on most of the core aspects of Davis’ work and...

Editeur : Springer
Parution : 2017-01-27
Collection : Outstanding Contributions to Logic PDF, ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande