Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Raisonnements et démonstrations en mathématiques
Niveau : Enseignement supérieur
Certification IDDN Valid HTML 4.01 Transitional

161 fiches trouvées Debut Precedent Reponses 161 à 161

1611976 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.Ressource en ligne