Liens transverses ENS de Lyon

INFO5172 : Computer-aided proofs and combinatorial exploration

Computer-aided proofs and combinatorial exploration

Niveau M2

Discipline(s) Informatique

ECTS 5.00

Période 1e semestre

Localisation Site Monod

Année 2021-2022

 Public externe (ouverts aux auditeurs de cours)