Programme des cours 2015-2016
Pascal Gribomont
Coordonnées : Consulter le répertoire ULg
Unités d'enseignement :
| Knowledge representation | Titulaire | ||||
| Constraint programming projects | Titulaire | ||||
| Logic | Titulaire | ||||
| Programmation fonctionnelle | Titulaire | ||||
| Introduction à la programmation récursive | Titulaire | ||||
| Concurrent system verification and temporal logic | Titulaire | ||||
| Eléments du calcul des probabilités | Titulaire | ||||
| Logique II | Titulaire | ||||