Return to search

Les graphes de démonstration outil pour l'étude des démonstrations naturelles /

Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1978. Reproduction de : Thèse de 3e cycle : informatique : Grenoble 1 : 1978. / Titre provenant de l'écran-titre. Bibliogr. p. [186]-191. Index p. 185.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/493832971
Date January 2008
CreatorsBalacheff, Nicolas. Kuntzmann, Jean Vauquois, Bernard
PublisherS.l. : Université Grenoble 1,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0021 seconds