Gilles Dowek
Inria Saclay-Ile de France
ENS Paris-Saclay
Laboratoire Spécification et Vérification
Mathématiques
et Interactions
-
4 vidéos
![La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique]()
01:13:28publiée le 11 mai 2017La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
De Gilles Dowek
![Des nombres aux arbres : comment varier ses exemples d'algorithmes ?]()
01:30:50publiée le 19 mai 2015Des nombres aux arbres : comment varier ses exemples d'algorithmes ?
De Gilles Dowek
