Gilles Dowek
Inria Saclay-Ile de France
ENS Paris-Saclay
Laboratoire Spécification et Vérification
Mathematics
and Interactions
-
4 videos
![La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique]()
01:13:28published on May 11, 2017La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
By Gilles Dowek
![Des nombres aux arbres : comment varier ses exemples d'algorithmes ?]()
01:30:50published on May 19, 2015Des nombres aux arbres : comment varier ses exemples d'algorithmes ?
By Gilles Dowek
