Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre
- Author
- Stéphane Desvismes, Pascal Lafourcade, Michel Lévy
- Language
- French
- Edition
- draft
- Year
- 2012
- Page
- 143
- ISBN
- 2729872299,9782729872298
- File Type
- pdf
- File Size
- 943.3 KiB
How to Download?!!!
Just click on START button on Telegram Bot