Qué necesitas saber antes de
comenzar
Inicio 4 June 2026 10:49
Fin 4 June 2026
Organización de Grandes Pruebas - Técnicas, Herramientas y Futuro
Institut Henri Poincaré
6076 Cursos
1 hour 7 minutes
Actualización opcional disponible
Not Specified
Avanza a tu propio ritmo
Free Video
Actualización opcional disponible
Resumen
Discover advanced techniques and tools for structuring complex mathematical proofs, exploring current methods and future developments in proof organization.
Materias
Computer Science