
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
- Forfatter
- Pascal Lafourcade, Michel Levy, Stéphane Devismes
- ISBN
- 9782729872298
- Språk
- Fransk
- Vekt
- 419 gram
- Utgivelsesdato
- 28.2.2012
- Forlag
- Ellipses
