Le moteur de recherche
des thèses françaises
Cyrille Desmoulins
IdRefMots clés
FR |
EN
Sciences appliquées
Informatique
Automatique théorique
Systèmes
Enseignement assisté ordinateur
Démonstration automatique
Raisonnement
Correction
Figure géométrique
Computer assisted teaching
Automatic proving
Reasoning
Corrections
Geometric figure
Informatique omniprésente
Didactique des mathématiques
Tad
T4tel
Modèle praxéologique de référence
Eiah