Books by Gilles Dowek
Age of Algorithms
Age of Algorithms
Le temps des algorithmes
Proceedings of the Eleventh Wo
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages
Computation, proof, machine
Rewriting and Typed Lambda Cal
Rewriting and Typed Lambda Calculi
Les métamorphoses du calcul
Les métamorphoses du calcul
Proofs and Algorithms
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Les me tamorphoses du calcul
Podemos Creer En Los Sondeos?
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)
Peut-on croire les sondages?
Voulez-vous jouer avec les maths ?
Tactical conflict detection an
Tactical conflict detection and resolution in a 3-D airspace
Quand la science a dit c'est impossible