Detalles del libro
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.
Leer más - ISBN13 9783319824437
- ISBN10 3319824430
- Páginas 438
- Año de Edición 2018
- Fecha de publicación 03/05/2018
- Idioma Alemán, Francés
Reseñas y valoraciones
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Alemán, Francés)
- De
- |
- SPRINGER (2018)
- 9783319824437



