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