Enseignement
Deuxième et troisième cycles
INF7570 Modélisation et vérification
DIC9101 Développement de systèmes informatiques
DIC9150 Concepts fondamentaux de l'informatique cognitive
DIC9305 Logique, informatique et sciences cognitives
Pour tout commentaire, vous adresser à