| Etablissement | Université de Boumerdès - M'hamed Bougara | | Affiliation | Département d'Informatique | | Auteur | HAMIMED, Lyazid | | Directeur de thèse | MEZGHICHE Mohamed (Professeur) | | Filière | Informatique | | Diplôme | Magister | | Titre | Implementation d'un assistant de preuve basé sur EX- calcul | | Statut | Vérifié |
|