Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Descubre cómo Martin Davis desentraña los límites de la computación mediante análisis detallados de algoritmos, decidibilidad y teoría de modelos, presentando avances esenciales en lógica matemática y fundamentos computacionales.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Omodeo, Eugenio G. |
| ASIN | 3319824430 |
| ISBN | 3319824430 |
| EAN | 9783319824437 |
| Colección | OUTSTANDING CONTRIBUTIONS TO LOGIC |
| Edición | Mayo de 2018 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319824437 |
| Páginas | 438 |
Productos Relacionados
El regreso de martin guerre
17.57 EUR
La lengua de los secretos.
21.76 EUR
El regreso de Martin Guerre
18.77 EUR
Are we there yet? hardcover
39.08 EUR
Are we there yet? paperback
20.78 EUR
