University Sétif 1 FERHAT ABBAS Faculty of Sciences
Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité / DOWEK,Gilles
Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité [texte imprimé] / DOWEK,Gilles . - Palaiseau : École polytechnique, 2010 . - 1 vol. (193 p.) ; 24 cm. ISBN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre)
|
Exemplaires (6)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/6906 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6907 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6908 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6909 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6970 | Fs/6970-6971 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6971 | Fs/6970-6971 | livre | Bibliothéque des sciences | Français | Disponible Disponible |