SMACUB2
UE Logiques computationnelles
Unité d'enseignement (UE) de 3 crédits