English
Dowek, Gilles
Auteur
Inria Saclay-Île de France ENS Paris-Saclay Laboratoire Spécification et Vérification
ORCID :
ISNI : idRef :
Viaf :
ZBMATH : Author profile zbMath
Documents (Auteurs)
-
[Multi angle]
La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
/ Auteur de la Conférence Dowek, Gilles.
-Marseille : CIRM
-
[Multi angle]
Informatique et physique : quelques interactions
/ Auteur de la Conférence Dowek, Gilles.
-Marseille : CIRM
-
[Multi angle]
Des nombres aux arbres : comment varier ses exemples d'algorithmes ?
/ Auteur de la Conférence Dowek, Gilles.
-Marseille : CIRM
-
[ Post-edited]
Une deuxième révolution galiléenne ?
/ Auteur de la Conférence Dowek, Gilles.
CIRM
