BIGDU06
UE Raisonnement automatique
Unité d'enseignement (UE) de 6 crédits