Gilles Dowek

Books
Introduction to the Theory of Programming Languages Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages
2010
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
Computation, Proof, Machine Computation, Proof, Machine
Computation, Proof, Machine
2015
Complexité-Simplexité Complexité-Simplexité
Complexité-Simplexité
2014
Automated Reasoning Automated Reasoning
Automated Reasoning
2008