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

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Systèmes formels / Claude Benzaken

Public ISBD Titre : Systèmes formels : introduction à la logique et à la théorie des langages Type de document : texte imprimé Auteurs : Claude Benzaken, Auteur Editeur : Paris : Masson Année de publication : 1991 Collection : Logique mathématiques informatique, ISSN 0995-2179 num. 6 Importance : IX-166 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82567-5 Prix : 140 F Note générale : Bibliogr. p. 163. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : introduction aux langages formels grammaires et automates, décidabilité et preuve Index. décimale : 004 Systèmes formels : introduction à la logique et à la théorie des langages [texte imprimé] / Claude Benzaken, Auteur . - Paris : Masson, 1991 . - IX-166 p. ; 24 cm. - (Logique mathématiques informatique, ISSN 0995-2179; 6) . ISBN : 978-2-225-82567-5 : 140 F Bibliogr. p. 163. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : introduction aux langages formels grammaires et automates, décidabilité et preuve Index. décimale : 004

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-000441	004-058.1	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt

---

1 (1 - 1 / 1)