Les démonstrations et les algorithmes : introduction a la logique et a la calculabilité [texte imprimé] / Gilles dowek, Auteur . - Paris : Ellipse, 2011 . - 193P : ill col ; 25cm. ISBN : 978-2-7302-1569-5 Langues : Français (fre)
|
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
