الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Le modèle des machines RAM, les problèmes indécidables, thèse de church'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
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 Calculabilité et décidabilité : une introduction [texte imprimé] / Jean-Michel Autebert, Auteur . - Paris : Masson, 1992 . - 118 p. : ill. ; 24 cm. - (Manuels informatiques Masson, ISSN 0249-6992) .
ISBN : 978-2-225-82632-0 : 120 F
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 Réservation
Réserver ce document
Exemplaires (2)
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