
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
- Författare
- Pascal Lafourcade, Michel Levy, Stéphane Devismes
- ISBN
- 9782729872298
- Språk
- Franska
- Vikt
- 419 gram
- Utgivningsdatum
- 2012-02-28
- Förlag
- Ellipses