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é