Aide à la recherche   Requête : intelligence artificielle

346 fiches trouvées

Reponses 341 à 346

341	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.
342	1980 L'informagique.
343	1979 L'Ouvert. N° 17.
344	1979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
345	1977 Bulletin de l'APMEP. N° 308. p. 252-258. Analyse de comportements heuristique : Quelles méthodes.
346	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.