2024 / Séjours d'études 13/06/2024 par ldiebold · Published 13/06/2024 · Last modified 22/01/2025 Preuves assistées par ordinateur pour l’atteignabilité en théorie du contrôle linéaire avec contraintes
2024 / Séjours d'études / Séminaires 04/01/2024 par ldiebold · Published 04/01/2024 · Last modified 05/03/2025 Activités 2024