Aide à la recherche   Requête : "intelligence artificielle"

327 fiches trouvées

Reponses 301 à 320

301	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 67-112. Modélisation en EIAO, les modèles d'APLUSIX.
302	1994 Recherches en didactique des mathématiques. Vol. 14/1-2. p. 9-42. Didactique et intelligence artificielle.
303	1994 Repères-IREM. N° 16.
304	1994 Repères-IREM. N° 16. p. 11-27. De l'Intelligence artificielle aux fiches-méthodes : histoire d'une dérive technicienne.
305	1993 Cahier de DIDIREM. N° Spécial 1. Métaconnaissances en IA, en EIAO et en didactique des mathématiques.
306	1993 Les Sciences de l'éducation - Pour l'ère nouvelle. N° 1-3. p. 175-193. Un système multimédia.
307	1992 PLOT. N° 61. p. 31-34. Réseaux de neurones artificiels (les modèles connexionnistes).
308	1991 Annales de didactique et de sciences cognitives. V. 4. p. 5-40. Modélisation de la démonstration géométrique dans Geometry Tutor.
309	1991 Bulletin de l'APMEP. N° 378. p. 169-180. Une méthode de démonstration consistant à "Partir de la conclusion".
310	1991 Repères-IREM. N° 4.
311	1991 Repères-IREM. N° 4. p. 53-62. Intelligence artificielle et enseignement de la géométrie.
312	1990 Actes de l'université d'été informatique et enseignement de la géométrie.
313	1990 Actes du colloque inter-IREM de géométrie : Port d'Albret 7, 8 et 9 juin 1990.
314	1990 Actes du colloque inter-IREM de géométrie : Port d'Albret. Intelligence artificielle et enseignement de la géométrie. p. 148-159.
315	1990 Ecriture automatique de démonstrations en géométrie.
316	1990 La démonstration mathématique dans l'histoire.
317	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.
318	1989 Tangente. N° 9. p. 32-35. Interview : Jean-Jacques Duby.
319	1988 Bulletin de liaison. N° 1 (février 1988).
320	1988 Bulletin de liaison. N° 2 (juin 1988).