Automaths : IA et formalisation
Enseignant :
Amaury Hayat
Catégories :
Au sujet de ce cours
Cours spécial du 23 au 27 novembre 2026.
La suite de la pré-rentrée en septembre.