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é
Tags & Categories
département
etablissement
université
affiliation
auteur
informatique
boumerdes
hamed
bougara
hamimed
universitÉ
Établissement
memoires
univérsité
établissement
établissement
departement
boumerdes
universite
établissement
affiliation
boumerdès
d’informatique
département
directeur
etablissement
mémoires
université