Documents liés : [1 document(s)]

Documents (Auteurs)

• [IremOuvrage] Ecriture automatique de démonstrations en géométrie / Guillot, Ph. . -Rouen : IREM de Rouen, 1990. - 22 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/RO/IRO90002/IRO90002.pdf