Outils

INFO5109 : CR10: Computer-assisted proofs

INFO5109 : CR10: Computer-assisted proofs

Responsable(s) :
  • Aurelien Garivier
Enseignant(s) :
  • Nathalie Revol
  • Damien Pous
  • Michael Rao
  • Daria Pchelina

Niveau

M2

Discipline

Informatique

ECTS
5.00
Période
1e semestre
Localisation
Site Monod
Année
2025

Public externe (ouverts aux auditeurs de cours)