IRMA - Démonstration automatique de théorèmes en théorie des ensembles

Bibliothèques de mathématique et de l'IREM

Date de parution : 1976

Nbre/N° de page : 151 p. ; 30 cm

Inventaire : IM1402

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	IM1402		THESE (Archive)

Type de doc : M

Ville d'édition : Paris

Pays d'édition : fr

Langue ouvrage : fre

Bibliographie : Bibliogr. p. 149-151

Ville de soutenance : Paris

Année de soutenance : 1976

Spécialité de la thèse : Math. Appl. ; Info.

SLA : Paris,UER de Math.,1976

Z