The Proof in the Code
How a Truth Machine Is Transforming Math and AI
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
Specificaties
| ISBN/EAN | 9780374620059 |
| Auteur | Kevin Hartnett |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 288 |
| Lengte | 236.0 mm |
| Breedte | 162.0 mm |