Unité d'enseignement - Utiliser des formalismes pour connaissances et raisonnements - SINCUD5 - Master Informatique - 5SIN - Sciences et Technologies - Faculté des Sciences - Offre de formation d’Aix-Marseille Université 2024-2025