Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2011
ISBN :
9782730215695
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 048415 | IF1112 | BIB-TIZI OUZOU / Mag du 3ème | Papier | externe | disponible | ||
| 048416 | IF1112 | BIB-TIZI OUZOU / Mag du 3ème | Papier | externe | disponible | ||
| 048417 | IF1112 | BIB-TIZI OUZOU / Mag du 3ème | Papier | externe | disponible |
Dowek, G. (2011). Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité . Les éditions de l'école polytechnique;