Université de Liège

Informatique

Intelligence Artificielle



INFO0054 : Programmation fonctionnelle
INFO0058 : Introduction à la programmation récursive
MATH0495 : Eléments du calcul des probabilités
PHIL0043 : Logique II
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]