Image du cours Méthodes formelles Promo2
UE_M.SIMAC-MIC 414 – Intelligence Artificielle et Méthodes formelles (UE Optionnelle 1B)
Méthodes formelles Promo2
Image du cours Introduction à l’intelligence artificielle et Machine Learning Promo2
UE_M.SIMAC-MIC 414 – Intelligence Artificielle et Méthodes formelles (UE Optionnelle 1B)
Introduction à l’intelligence artificielle et Machine Learning Promo2
Image du cours Logique classique et Logique flou Promo2
UE_M.SIMAC-MIC 414 – Intelligence Artificielle et Méthodes formelles (UE Optionnelle 1B)
Logique classique et Logique flou Promo2