56 |
Working on proof as contribution to conceptualisation – The case of R-completness
|
|
|
|
In: Advances in Mathematics Education Reserach on Proof and Proving. An international perspective ; https://hal.archives-ouvertes.fr/hal-02070069 ; Stylianides, Andreas J.,; Harel, Guershon. Advances in Mathematics Education Reserach on Proof and Proving. An international perspective, Springer International Publishing, pp.19-34, 2018, ICME-13 Monographs, 978-3-319-70995-6 (2018)
|
|
BASE
|
|
Show details
|
|
57 |
Responsive and Flexible Controlled Natural Language Authoring with Zipper-based Transformations
|
|
|
|
In: International Workshop on Controlled Natural Languages (CNL) ; https://hal.inria.fr/hal-01976766 ; International Workshop on Controlled Natural Languages (CNL), Aug 2018, Dublin, Ireland (2018)
|
|
BASE
|
|
Show details
|
|
|
|