Recomienda este artículo a tus amigos:
The Proof in the Code: How a Truth Machine Is Transforming Math and AI Kevin Hartnett
Precio
Mex$ 514
sin IVA
Pedido desde almacén remoto
Entrega prevista 18 de ago. - 3 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Kevin Hartnett
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
The Proof in the Code: How a Truth Machine Is Transforming Math and AI
Kevin Hartnett
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 20 de julio de 2026 |
| ISBN13 | 9780374620059 |
| Editores | Farrar, Straus & Giroux Inc |
| Páginas | 288 |
| Dimensiones | 152 × 229 × 25 mm · 454 g |
