University Sétif 1 FERHAT ABBAS Faculty of Sciences
Logique et démonstration automatique / Devismes, Stéphane
Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Devismes, Stéphane, Auteur ; Lafourcade, Pascal, Auteur ; Lévy, Michel, Auteur . - Paris : Ellipses, 2012 . - 1 vol. (209 p.) : fig., tabl., couv. ill. ; 26 cm. - (Technosup) . ISBN : 978-2-7298-7229-8
|
Exemplaires (5)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/16236 | Fs/16236-16240 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/16237 | Fs/16236-16240 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/16238 | Fs/16236-16240 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/16240 | Fs/16236-16240 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/16239 | Fs/16236-16240 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |