Gilles Dowek
Teoksen Les Métamorphoses du calcul : Une étonnante histoire des mathématiques tekijä
Tekijän teokset
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) (2011) 9 kappaletta
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science) (2010) 6 kappaletta
Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de… (2012) 5 kappaletta
Introduction à la science informatique : Pour les enseignants de la discipline en lycée (2011) 2 kappaletta
Les démonstrations et les algorithmes introduction à la logique et à la calculabilité (2010) 1 kappale
Merkitty avainsanalla
Yleistieto
- Sukupuoli
- male
Jäseniä
Tilastot
- Teokset
- 19
- Jäseniä
- 80
- Suosituimmuussija
- #224,854
- Arvio (tähdet)
- 2.8
- ISBN:t
- 27
- Kielet
- 3