booktheque

Les me tamorphoses du calcul

Gilles Dowek · 2007

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2007
Language
French
Publisher
Le Pommier
Editions
1
Pages
223
ISBN
9782746503243

Data source: Wikidata

More by Gilles Dowek

Computation, proof, machine
Gilles Dowek · 2015
Le temps des algorithmes
Gilles Dowek · 2019
Proofs and Algorithms
Gilles Dowek · 2011
Principles of programming languages
Gilles Dowek · 2009
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages
Gilles Dowek · 2016
Rewriting and Typed Lambda Calculi
Gilles Dowek · 2014
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Gilles Dowek · 2010
Peut-on croire les sondages?
Gilles Dowek · 2002
Voulez-vous jouer avec les maths ?
Gilles Dowek · 2002
La Logica
Gilles Dowek · 2002