Mots-clés – Auteurs – Publimath

Laurent J.-P.

Il y a 1 résultat pour cette recherche

1976 Bulletin de l’APMEP. N° 302. p. 93-106. La démonstration automatique de théorèmes : des méthodes et des résultats qui concernent l’enseignement des mathématiques.
Auteurs : Vivet Martial ; Laurent J.-P.