The Proof in the Code: How a Truth Machine Is Transforming Math and AI - Kevin Hartnett - Libros - Farrar, Straus & Giroux Inc - 9780374620059 - 20 de julio de 2026
En caso de que portada y título no coincidan, el título será el correcto

The Proof in the Code: How a Truth Machine Is Transforming Math and AI

Precio
$ 28,99
sin IVA
Entrega prevista 28 - 31 de jul. de 2026
Añadir a tu lista de deseos de iMusic

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)
Pendiente de lanzamiento 20 de julio de 2026
ISBN13 9780374620059
Editores Farrar, Straus & Giroux Inc
Páginas 288
Dimensiones 152 × 229 × 25 mm   ·   454 g

Mere med samme udgiver