Luigi Santocanale, enseignements 2016-2017

• Enseignements 2016-2017 :
  • Cours Programmation Fonctionnelle (Master I année, sem 1).
  • Cours Logiques non classiques (Master II année, sem 1).
  • Cours Logique et Calculabité (Licence III année, sem 2).
  • Cours Intelligence Artificielle (Master I année, sem 2).