Proofs and Algorithms More Books by Gilles Dowek

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
Voulez-vous jouer avec les maths ? Voulez-vous jouer avec les maths ?
Voulez-vous jouer avec les maths ?
2002
Peut-on croire les sondages ? Peut-on croire les sondages ?
Peut-on croire les sondages ?
2002
The Age of Algorithms The Age of Algorithms
The Age of Algorithms
2020
Le temps des algorithmes Le temps des algorithmes
Le temps des algorithmes
2017
Les Métamorphoses du calcul Les Métamorphoses du calcul
Les Métamorphoses du calcul
2015
Ces préjugés qui nous encombrent Ces préjugés qui nous encombrent
Ces préjugés qui nous encombrent
2015
Complexité-Simplexité Complexité-Simplexité
Complexité-Simplexité
2014
Automated Reasoning Automated Reasoning
Automated Reasoning
2008
Introduction to the Theory of Programming Languages Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages
2010