Filter your results
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Évaluations de solutions d'exercices d'algorithmique " à la main " versus " automatiques par jeux d'essaiEIAH 2011 - Conférence Environnements Informatiques pour l'Apprentissage Humain, May 2011, Mons, Belgique. pp.273-285
Conference papers
hal-00667472v1
|
||
|
Proof Technology and Learning in Mathematics: Common Issues and PerspectivesHanna, Gila; Reid, David; de Villiers, Michael. Proof Technology in Mathematics Research and Teaching, Springer, pp.349-365, 2019, 978-3-030-28483-1
Book sections
hal-02333646v1
|