الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail de l'auteur
Auteur Jean-Michel Autebert |
Documents disponibles écrits par cet auteur
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
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
Titre : Transductions rationnelles : Application aux langages algébriques Type de document : texte imprimé Auteurs : Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur Editeur : Paris : Masson Année de publication : 1988 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 num. 12 Importance : 1 vol. (133 p.) Format : 25 cm ISBN/ISSN/EAN : 2-225-81604-6 Langues : Français (fre) Mots-clés : langages algébriques transductions rationnelles cône rationnel Index. décimale : 005 Transductions rationnelles : Application aux langages algébriques [texte imprimé] / Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur . - Paris : Masson, 1988 . - 1 vol. (133 p.) ; 25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770; 12) .
ISSN : 2-225-81604-6
Langues : Français (fre)
Mots-clés : langages algébriques transductions rationnelles cône rationnel Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité CF2-000551 005-166.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001040 005-166.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001041 005-166.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible
