Accueil >
Raisonner, (re)chercher, communiquer (R2C2) >
Videos >
Contrôle, preuve et démonstration. Trois régimes de la validation.
Vidéo
Description
Conférence de Nicolas Balacheff (Laboratoire d’Informatique de Grenoble, Université de Grenoble Alpes, CNRS)
17 novembre 2017.
Durée: 74 minutes.