Mémoires de Fin d’Etudes
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é