Notice de personne
- Notice
Lazrek, Azzedine (1961-....) forme internationale
Pays :
Maroc
Langue(s) :
français
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1961-01-08
Titulaire d'un doctorat d'université en informatique (Nancy 1, 1988).
Source(s) :
Etude et réalisation de méthodes de preuve par récurrence en logique équationnelle / Azzedine Lazrek, 1988 [thèse univ.]
Etude et réalisation de méthodes de preuve par récurrence en logique équationnelle / Azzedine Lazrek, 1988 [thèse univ.]
Identifiant international de l'autorité :
ISNI 0000 0000 0184 3326
, cf.
http://isni.org/isni/0000000001843326
Identifiant de la notice : ark:/12148/cb124748671
Notice n° :
FRBNF12474867
Création :
95/08/01