Titre :	Les Démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	Gilles Dowek
Editeur :	Paris : Les éditions de l'école polytechnique
Année de publication :	2010
Importance :	193 p.
Format :	22 cm
ISBN/ISSN/EAN :	978-2-7302-1569-5
Note générale :	Bibliogr.
Langues :	Français (fre)
Catégories :	Mathématiques
Tags :	Calculabilité  Algorithme
Index. décimale :	509 Mathématiques
Permalink :	https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=48315

Les Démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek . - Paris : Les éditions de l'école polytechnique, 2010 . - 193 p. ; 22 cm.
ISBN : 978-2-7302-1569-5
Bibliogr.
Langues : Français (fre)

Catégories :	Mathématiques
Tags :	Calculabilité  Algorithme
Index. décimale :	509 Mathématiques
Permalink :	https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=48315