Gilles Dowek

Country : France
Language : français
Gender : masculin
Note :
Informaticien. - Professeur à l'École polytechnique et chercheur à l'Institut national de recherche en informatique et en automatique (en 2006)
ISNI : ISNI 0000 0001 2125 5123

Activities of Gilles Dowek (28 resources in data.bnf.fr)

Textual works (22)

Ce dont on ne peut parler, il faut l'écrire
Le temps des algorithmes
Vivre, aimer, voter en ligne, et autres chroniques numériques
La logique
Une introduction à la science informatique with Gilles Dowek as Directeur de publication
Les principes des langages de programmation
Les métamorphoses du calcul
Les démonstrations et les algorithmes
Ces préjugés qui nous encombrent
Automated Reasoning with Gilles Dowek as Éditeur scientifique
Quand la science a dit, c'est impossible !
Les principes des langages de programmation
Les métamorphoses du calcul
Introduction à la théorie des langages de programmation
Les principes des langages de programmation
Introduction à la théorie des langages de programmation
Introduction à la théorie des langages de programmation
Introduction à la théorie des langages de programmation
Voulez-vous jouer avec les maths ?
Peut-on croire les sondages ?
Introduction à la théorie des langages de programmation
Higher-Order Algebra, Logic, and Term Rewriting

Mixed works (4)

Computation, proof, machine
C'est impossible
La logique
Méthode pour l'épreuve d'informatique

Musical work (2)

Une machine peut-elle raisonner? Leçon 1 with Gilles Dowek as Auteur du texte
Une machine peut-elle raisonner? Leçon 2 with Gilles Dowek as Auteur du texte

See also