Aide à la recherche   Requête : système expert

26 fiches trouvées

Reponses 21 à 26

21	1990 Ecriture automatique de démonstrations en géométrie.
22	1988 Bulletin de liaison. N° 1 (février 1988).
23	1988 Bulletin de liaison. N° 2 (juin 1988).
24	1988 L'Ouvert. N° 52.
25	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.
26	1985 Inforama.