IRMA - Ecriture automatique de démonstrations en géométrie

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

Date de parution : 1990

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

Inventaire : ELEC

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	ELEC

ISBN10 : 2-86239-026-7

Ville d'édition : Rouen

Pays d'édition : fr

Langue ouvrage : fre

Bibliographie : Bibliogr. p. 22

SLA :

Z