Compartir
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 With Examples From Simplicial Topology
Clara Löh
(Autor)
·
Springer
· Tapa Blanda
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 With Examples From Simplicial Topology - Clara Löh
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.