Gilles Dowek books & textbook
Computation, Proof, Machine: Mathematics Enters a New Age
Dowek, Gilles Guillot, Pierre Roman, Marion
Cambridge University Press /2015-05-05 Paperback / 160 Pages
isbn-10: 0521133777 / isbn-13: 9780521133777
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
Springer /2011-01-14 Paperback / 168 Pages
isbn-10: 0857291203 / isbn-13: 9780857291202
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Dowek, Gilles Lévy, Jean-Jacques
Springer /2010-12-15 Paperback / 108 Pages
isbn-10: 0857290754 / isbn-13: 9780857290755
The Age of Algorithms
Abiteboul, Serge Dowek, Gilles
Cambridge University Press /2020-04-16 Paperback / 166 Pages
isbn-10: 1108745423 / isbn-13: 9781108745420
Principles of Programming Languages (Undergraduate Topics in Computer Science)
Springer /2009-03-13 Paperback / 172 Pages
isbn-10: 1848820313 / isbn-13: 9781848820319
L'IA est-elle une chance ? - Méditations sur le risque
GUILLOT, APOLLINE BENASAYAG, Miguel DOWEK, Gilles GHERARDI, SOPHIE
PHILOSOPHIE MAG /2024-04-19 Paperback / 80 Pages
isbn-10: 2900818338 / isbn-13: 9782900818336
Computation, Proof, Machine by Gilles Dowek (2015-05-07)
Cambridge University Press / Paperback
Les Métamorphoses du calcul : Une étonnante histoire des mathématiques de Gilles Dowek ( 29 mars 2007 )
Paperback
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) 2011 edition by Dowek, Gilles (2011) Paperback
Springer / Paperback
Les Métamorphoses du calcul : Une étonnante histoire des mathématiques de Gilles Dowek (29 mars 2007) Broché
Unknown Binding
