Titre :	Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	Gilles Dowek, Auteur
Editeur :	Palaiseau : les Éd. de l'École polytechnique
Année de publication :	2010
Importance :	193 p.
Présentation :	ill., couv. ill. en coul.
Format :	25 cm
ISBN/ISSN/EAN :	978-2-7302-1569-5
Note générale :	La 4ème de couv. porte : "Informatique" Bibliogr., 1 p. Index
Langues :	Français (fre)
Catégories :	Livres
Tags :	Logique symbolique et mathématique  Algorithmes
Index. décimale :	518.1 Algorithmes

Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Éd. de l'École polytechnique, 2010 . - 193 p. : ill., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-7302-1569-5
La 4ème de couv. porte : "Informatique"
Bibliogr., 1 p. Index
Langues : Français (fre)

Catégories :	Livres
Tags :	Logique symbolique et mathématique  Algorithmes
Index. décimale :	518.1 Algorithmes