Composition du parcours
-
INF641 INF656L
v2.11.0 (6131)
- Accueil
| UE | Type d'enseignement | Domaines | Catégorie d'UE | Volume horaire | Responsables | Site pédagogique |
|---|---|---|---|---|---|---|
| INF641 Introduction to the verification of neural networks | Cours scientifiques | Informatique | Eric Goubault, Sylvie Putot |
|||
| INF656L Decision procedure for Artificial Intelligence | Cours scientifiques | Informatique | UE de spécialité. | 24 | Sergio Mover |
