Pour une meilleure performance des algorithmes de complétion et de réécriture / Abbes Mehemmel

Public ISBD Titre : Pour une meilleure performance des algorithmes de complétion et de réécriture Auteurs : Abbes Mehemmel ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1992 Importance : 97 f. Format : 31 cm Note générale : 02 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Réécriture  Terminaison  Algorithme de simplification  Preuve automatique  Logique équationnelle  Logiciel REVE  Algorithme de complétion  Algorithme de recherche  Informatique Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=139 Pour une meilleure performance des algorithmes de complétion et de réécriture [] / Abbes Mehemmel ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1992 . - 97 f. ; 31 cm. 02 Disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Réécriture  Terminaison  Algorithme de simplification  Preuve automatique  Logique équationnelle  Logiciel REVE  Algorithme de complétion  Algorithme de recherche  Informatique Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=139

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MEH/2250	MEH/2250	Thèse	Bibliothèque principale	Thèses	Disponible

---

1 (1 - 1 / 1)