G
Gilles Dowek
19 works on record
Works
Les me tamorphoses du calcul
Theorem proving in higher order logics
Proofs and Algorithms
Le temps des algorithmes
Computation, proof, machine
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Quand la science a dit c'est impossible
Pourquoi moi ?
Voulez-vous jouer avec les maths ?
Principles of programming languages
Peut-on croire les sondages?
La Logica
Rewriting and Typed Lambda Calculi
Rewriting and Typed Lambda Calculi
Age of Algorithms
Age of Algorithms
Automated Reasoning
Automated Reasoning
Les métamorphoses du calcul
Les métamorphoses du calcul
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)
Tactical conflict detection and resolution in a 3-D airspace
Tactical conflict detection and resolution in a 3-D airspace