|
|
LDD-L1-S2 - Logique et Démonstration Assistée par Ordinateurs [jan-jui] |
cours piloté par le département de mathématiques. | ||
Module: | LDD1 Informatique et Mathématiques-S2 | |
1 * 24 h | TP | Christine Paulin(1)[GRAT] |
24 h présentielles (hors soutien) | ||
Date: 19-09-2024 @ 03:49 |
|
|