Type(s) de contenu et mode(s) de consultation : Texte noté : microforme

Auteur(s) : Lazrek, Azzedine (1961-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Etude et réalisation de méthodes de preuve par récurrence en logique équationnelle [Microforme] / Azzedine Lazrek

Publication : Grenoble 2 : ANRT, 1988

Description matérielle : 1 microfiche ; 105 x 148 mm

Note(s) : Th. univ. : Inform. : Nancy 1 : 1988

Identifiant de la notice  : ark:/12148/cb37615065c

Notice n° :  FRBNF37615065