STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Gilles Dowek | lit.salon
Gilles Dowek
No bio available.
Add one in Open Library.
Books by Gilles Dowek (50 max)
+ shelf
+ list
Principles of programming languages
2009
Gilles Dowek
+ shelf
+ list
Computation, proof, machine: mathematics enters a new age
2015
Gilles Dowek
+ shelf
+ list
Age of Algorithms
2017
Gilles Dowek, Serge Abiteboul, K-Rae Nelson
+ shelf
+ list
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
1999
Yves Bertot, Gilles Dowek, Andre Hirschowitz
+ shelf
+ list
Tactical conflict detection and resolution in a 3-D airspace
2001
Gilles Dowek
+ shelf
+ list
La Logica
2002
Gilles Dowek
+ shelf
+ list
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
2014
Gilles Dowek
+ shelf
+ list
Age of Algorithms
2019
Serge Abiteboul, Gilles Dowek, K-Rae Nelson
+ shelf
+ list
Quand la science a dit c'est impossible
1999
Jean-Michel Alimi, Gilles Dowek, Laurence Rolland, Nayla Farouki
+ shelf
+ list
Voulez-vous jouer avec les maths ?
2002
Gilles Dowek
+ shelf
+ list
Peut-on croire les sondages?
2002
Gilles Dowek
+ shelf
+ list
Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)
2006
Gilles Dowek
+ shelf
+ list
Les me tamorphoses du calcul: une e tonnante histoire de mathe matiques
2007
Gilles Dowek
+ shelf
+ list
Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
2008
Alessandro Armando, Peter Baumgartner, Gilles Dowek
+ shelf
+ list
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
2010
Gilles Dowek, Jean-Jacques Lévy
+ shelf
+ list
Proofs and Algorithms: An Introduction to Logic and Computability
2011
Gilles Dowek
+ shelf
+ list
Les métamorphoses du calcul une étonnante histoire des mathématiques
2011
Gilles Dowek
+ shelf
+ list
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages Theory and Practice
2016
Gilles Dowek
+ shelf
+ list
Pourquoi moi ? Le hasard dans tous ses états
2021
Jean-Paul Delahaye, Jean-Louis Dessalles, Sebastien Dieguez, Gilles Dowek, Marc Lachièze-Rey, Roland Lehoucq
