Aide à la recherche   Requête : intelligence artificielle

332 fiches trouvées

Reponses 321 à 332

321	1990 La démonstration mathématique dans l'histoire.
322	1989 Annales de didactique et de sciences cognitives. V. 2. p. 89-109. Réflexions sur les logiciels d'aide à la démonstration en géométrie.
323	1989 Tangente. N° 9. p. 32-35. Interview : Jean-Jacques Duby.
324	1988 Bulletin de liaison. N° 1 (février 1988).
325	1988 Bulletin de liaison. N° 2 (juin 1988).
326	1988 L'Ouvert. N° 52.
327	1988 L'Ouvert. N° 52. p. 32-40. Réflexions sur l'apprentissage de la démonstration en géométrie de 4e autour d'un logiciel.
328	1980 L'informagique.
329	1979 L'Ouvert. N° 17.
330	1979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
331	1977 Bulletin de l'APMEP. N° 308. p. 252-258. Analyse de comportements heuristique : Quelles méthodes.
332	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.