Ce site correspond à la partie du cours de LLC 2 consacrée à l'axiomatisation et aux techniques de démonstration.
- Enseignant: Samuel LE GENDRE
- Enseignant: Lionel NGUYEN VAN THE
- Enseignant: Frederic OLIVE
Informations du cours
Ce site correspond à la partie du cours de LLC 2 consacrée à l'axiomatisation et aux techniques de démonstration.