Les Métamorphoses du calcul by Gilles Dowek

Proofs and Algorithms

Gilles Dowek

Computers
Computation, Proof, Machine

Gilles Dowek, Pierre Guillot & Marion Roman

Computers
Principles of Programming Languages

Gilles Dowek

Computers
Peut-on croire les sondages ?

Gilles Dowek

Social Science
Automated Reasoning

Alessandro Armando, Peter Baumgartner & Gilles Dowek

Computers
Voulez-vous jouer avec les maths ?

Gilles Dowek

Mathematics
Complexité-Simplexité

Gilles Dowek, Daniel Krob, Claude Debru, Jean-Pierre Couwenbergh, Jean Petitot, Jean-Luc Petit, Alain Berthoz, Daniel Bennequin, Jean-Paul Laumond, Jacques Demongeot, Hedi Ben Amor, Pierre Bessière, Jérôme Brunet, Raja Chatila, Olivier Contré, Fausto Fraisopi, Jan Godyns, Hana Hazgui, Amaury Lambert, Giuseppe Longo, Athanasios Lontos, Maël Montévil, Jean-Pierre Nadal, Edith Perrier, Arnaud Pocheville, Maurizio Sibilio & Jonathan Touboul

Science & Nature
Le temps des algorithmes

Serge Abiteboul & Gilles Dowek

Science & Nature
Ces préjugés qui nous encombrent

Gilles Dowek

Social Science
The Age of Algorithms

Serge Abiteboul, Gilles Dowek & K-Rae Nelson

Computers
Introduction to the Theory of Programming Languages

Gilles Dowek & Jean-Jacques Lévy

Computers
L'IA est-elle une chance ?

Sophie Gherardi, Apolline Guillot, Miguel Benasayag & Gilles Dowek

Philosophy
Les Métamorphoses du calcul

Gilles Dowek

Social Science

Les Métamorphoses du calcul