Gilles Dowek

Books
Proofs and Algorithms Proofs and Algorithms
Proofs and Algorithms
2011
Computation, Proof, Machine Computation, Proof, Machine
Computation, Proof, Machine
2015
Principles of Programming Languages Principles of Programming Languages
Principles of Programming Languages
2009
L'IA est-elle une chance ? L'IA est-elle une chance ?
L'IA est-elle une chance ?
2024
The Age of Algorithms The Age of Algorithms
The Age of Algorithms
2020
Complexité-Simplexité Complexité-Simplexité
Complexité-Simplexité
2014