University Sétif 1 FERHAT ABBAS Faculty of Sciences
Logique pour l'informatique / Serenella Cerrito
Logique pour l'informatique : Introduction à la déduction automatique : cours et exercices, licence d'informatique [texte imprimé] / Serenella Cerrito ; Delia Kesner . - Paris : Vuibert, 2008 . - 1 vol. (178 p.) ; 24 cm. ISBN : 978-2-7117-2069-9 978-2-7117-2069-9 Langues : Français (fre) Langues originales : Français (fre)
|
Exemplaires (8)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/11764 | Fs/11764-11768 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/11765 | Fs/11764-11768 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/11766 | Fs/11764-11768 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/11767 | Fs/11764-11768 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/11768 | Fs/11764-11768 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/12552 | Fs/12552 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/13211 | Fs/13211-13212 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/13212 | Fs/13211-13212 | livre | Bibliothéque des sciences | Français | Disponible Disponible |