Detalls del llibre
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.
Llegir més - ISBN13 9783319824437
- ISBN10 3319824430
- Pàgines 438
- Any Edició 2018
- Fecha de publicación 03/05/2018
- Idioma Alemany, Francès
Ressenyes i valoracions
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Alemany, Francès)
- De
- |
- SPRINGER (2018)
- 9783319824437



