
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
- Kirjailija
- Pascal Lafourcade, Michel Levy, Stéphane Devismes
- ISBN
- 9782729872298
- Kieli
- Ranska
- Paino
- 419 grammaa
- Julkaisupäivä
- 28.2.2012
- Kustantaja
- Ellipses