Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [monographie] |
| Auteur(s): | Dowek, Gilles (1966-....) |
| Langue: | français |
| Editeur, date d'édition: | Les Éditions de l'École Polytechnique, 2010 |
| Ville(s) d'édition: | Palaiseau (FR) |
| ISBN: | 978-2-7302-1569-5 |
| Notes: | Index pp. 191-193 ; bibliogr. pp. 195 ; 24 cm ; 193 p. |
| Thèmes: | philosophie, algorithmes, modeles, logique des predicats |
| Localisation: | Ouvrage localisé fonds enseignement - 1ère salle |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 DOW 10 | Disponible |