Resultados de "Kevin Hartnett" en Todas las categorias
-
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- De: Kevin Hartnett
- Narrado por: Kevin Shen
- Inglés
- Duración: 8 horas y 21 mins
- Versión íntegra
-
General:0
-
Narración:0
-
Historia:0
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught...
Muestra -
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- Narrado por: Kevin Shen
- Inglés
- Duración: 8 horas y 21 mins
- Fecha de lanzamiento: 09-06-26
No se ha podido añadir a la cesta
Solo puedes tener 50 títulos en tu cesta para poder pagar.Vuelve a intentarlo más tardeVuelve a intentarlo más tardeError al eliminar la lista de deseos.
Vuelve a intentarlo más tardeSe ha producido un error al añadirlo a la biblioteca
Inténtalo de nuevoSe ha producido un error al seguir el podcast
Inténtalo de nuevoError al dejar de seguir el podcast
17,99 € o regístrate para una prueba gratuita y obtén un 30% de descuento en este título. Se renueva automáticamente por 9,99 € al mes después de la prueba. Consulta los requisitos.
-