الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

Calculabilité et décidabilité / Jean-Michel Autebert

Titre :	Calculabilité et décidabilité : une introduction
Type de document :	texte imprimé
Auteurs :	Jean-Michel Autebert, Auteur
Editeur :	Paris : Masson
Année de publication :	1992
Collection :	Manuels informatiques Masson, ISSN 0249-6992
Importance :	118 p.
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-225-82632-0
Prix :	120 F
Note générale :	Bibliogr. p. 115. Index
Langues :	Français (fre) Langues originales : Français (fre)
Mots-clés :	Le modèle des machines RAM, les problèmes indécidables, thèse de church
Index. décimale :	004

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-000437	004-054.1	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
f2-000378	004-054.2	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible