Les Métamorphoses du calcul : Une étonnante histoire des mathématiques
Ces préjugés qui nous encombrent
La logique
L'IA est-elle une chance ?
Voulez-vous jouer avec les maths ?
Introduction à la théorie des langages de programmation
Les principes des langages de programmation
Proofs and Algorithms
Introduction à la théorie des langages de programmation
Les démonstrations et les algorithmes
Informatique et sciences du numérique
Informatique et sciences du numérique - Edition spéciale Python !
Informatique et sciences du numérique
Working Material for the Lectures of Gilles Dowek on Deduction and Computation with Coq
Les métamorphoses du calcul
The Age of Algorithms
La logique
Proofs and Algorithms
Les metamorphoses du calcul