Gilles Dowek

No biography available.

Works (7)

Cover of Principles of programming languages

Principles of programming languages

Cover of Quand la science a dit c'est impossible

Quand la science a dit c'est impossible

Cover of Theorem proving in higher order logics

Theorem proving in higher order logics

Cover of Le temps des algorithmes

Le temps des algorithmes

Cover of Les me tamorphoses du calcul

Les me tamorphoses du calcul

Cover of Proofs and Algorithms

Proofs and Algorithms

Cover of Computation, proof, machine

Computation, proof, machine