Filter your results
- 17
- 29
- 6
- 6
- 2
- 2
- 1
- 11
- 8
- 7
- 1
- 4
- 4
- 2
- 3
- 2
- 1
- 1
- 10
- 7
- 12
- 3
- 2
- 1
- 1
- 1
- 1
- 8
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Verification of non-linear overconstraints in Euclidean geometry with linear programmingproceedings of OverConstraints Systems, ISSN 0302-9743. Cassis 1995., 1995, Cassis, France. 7 p
Conference papers
hal-00962031v1
|
||
|
Beyond a Psychological Approach: the Psychology of Mathematics EducationFor the Learning of Mathematics, 1990, 10 (3), pp.2-8
Journal articles
hal-02083312v1
|
||
|
Jean Kuntzmann ou les voyages extraordinaires au pays des mathématiques inconnuesLe Bulletin Vert, 1993, 387, pp.11-14
Journal articles
hal-01139412v1
|
||
|
Étude et réalisation d'un système tuteur pour la construction de figures géométriquesInterface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français. ⟨NNT : ⟩
Theses
tel-00005086v1
|
||
|
Vers une approche déclarative pour les logiciels de dessins géométriques4e journée EIAO de l'ENS Cachan, 1995, Cachan, France. pp.55-66
Conference papers
hal-00190299v1
|
||
|
Processus de preuve et situations de validationEducational Studies in Mathematics, 1987
Journal articles
hal-01619264v1
|
||
|
Contribution de la didactique et de l'épistémologie aux recherches en EIAOXIII Journées francophones sur l'informatique, Jul 1991, Genève, France. pp.9-38
Conference papers
hal-01027408v1
|
||
|
Recent Trends of Electronic Dictionary Research and Development in Europe1994
Other publications
hal-00340754v1
|
||
|
Construction and manipulation of geometric figuresfourth international workshop on Constraint and Logic Programming, WCLP'93, Marseille, 1993, Marseille, France. 3 p
Conference papers
hal-00962032v1
|
||
|
Analyse de conceptions d'éleveurs concernant des pratiques sanitairesDidaskalia (Paris), 1994, 4, pp.39-55. ⟨10.4267/2042/23362⟩
Journal articles
hal-01234655v1
|
||
|
Treatment of refutations: aspects of the complexity of a constructivist approach to mathematics learningErnst von Glasersfeld. Radical Constructivism in Mathematics Education, Kluwer Academic Publishers, pp.89-110, 1991
Book sections
hal-01695305v1
|
||
|
L'élevage, le conseil, et l'écopathologie. Résultats d'une approche didactique de situations de diagnostic d'élevage en production porcineVeterinary Research, 1994, 25 (2-3), pp.290-299
Journal articles
hal-00902213v1
|
||
|
Une approche pour la maintenance et la ré-ingénierie globale des logicielsSystème d'exploitation [cs.OS]. Université Joseph-Fourier - Grenoble I, 1995. Français. ⟨NNT : ⟩
Theses
tel-00724676v1
|
||
|
Conception, connaissance et conceptSéminaire de l'équipe DidaTech, IMAG, 1995, Grenoble, France. pp.219-244
Conference papers
hal-01072247v1
|
||
|
Benefits and limits of social interaction: The case of mathematical proofAlan J. Bishop; Stieg Mellin-Olsen; Joop Dormolen van. Mathematical Knowledge: Its Growth Through Teaching, 10, Kluwer Academic Publishers, pp.175-192, 1991, Mathematics education library
Book sections
hal-01550051v1
|
||
|
Le contrat et la coutume : deux registres des interactions didactiquesPremier colloque franco-allemand de didactique des mathématiques et de l'informatique, Nov 1986, Luminy, France. pp.15-26
Conference papers
hal-01286492v1
|
||
|
TRANSPOSITION DU CONCEPT D'HETEROSIS DU MAIS AUX PROFESSIONNELS AGRICOLES Analyse lexicale et phrasiqueAster, 1990, 11, pp.175-194
Journal articles
hal-01234646v1
|