Informatique
Intelligence Artificielle
|
|
InformatiqueIntelligence 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
|