Informatique
Intelligence Artificielle
INFO0054
:
Programmation fonctionnelle
INFO0058
:
Introduction à la programmation récursive
MATH0495
:
Eléments du calcul des probabilités
PHIL0043
:
Logique et philosophie analytique
INFO0051
:
Logic
INFO0049
:
Knowledge representation
INFO0050
:
Constraint programming projects
INFO0060
:
Concurrent system verification and temporal logic
[Université de Liège]
[Faculté des Sciences Appliquées]
[Institut Montefiore]