| Etablissement | Ecole Nationale Supérieure d'informatique |
| Affiliation | Département de Post-Graduation |
| Auteur | BENAZIEZ, Idris |
| Directeur de thèse | BEN-YELLES Choukri -Bey (Professeur) |
| Filière | Informatique Fondamentale |
| Diplôme | Doctorat |
| Titre | Les Algorithmes d'Abstraction dans la logique combinatoire |
| Mots clés | logique combinatoire ,algorithmes d'abstraction |
| Résumé | Il s'agit de trouver un algorithme d'abstraction plus efficace que ceux qui se trouvent déjà dans la littérature
après avoir fait la comparaison entre leurs efficacité et les logiques qui les sous-tendent.
|
| Statut | Vérifié |