Le temps des algorithmesGilles Dowek, Serge Abiteboul, K-Rae Nelson · First published 2017Open the Tome
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-LanguagesGilles Dowek · First published 2016Open the Tome
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)Gilles Dowek, Jean-Jacques Lévy · First published 2010Open the Tome
Automated ReasoningAlessandro Armando, Peter Baumgartner, Gilles Dowek · First published 2008Open the Tome
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)Gilles Dowek · First published 2006Open the Tome
Tactical conflict detection and resolution in a 3-D airspaceGilles Dowek · First published 2001Open the Tome
Quand la science a dit c'est impossibleJean-Michel Alimi, Gilles Dowek, Laurence Rolland, Nayla Farouki · First published 1999Open the Tome
Theorem proving in higher order logicsYves Bertot, Gilles Dowek, Andre Hirschowitz · First published 1999Open the Tome
