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

Sélectionnez vos critères de recherche :
 
 
Auteur :
 Année  Année de fin
Ressource(s) CDI LittéraMath Ressource(s) en ligne Ressources en ligne   dont Bibliothèque numérique
Langue Public visé 
Type
Revue ou Collection
IREM / IRES
Commission Inter-IREM
Afficher les fiches par    
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