Filter your results
- 3
- 2
- 4
- 1
- 5
- 4
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Didactical issues at the interface of mathematics and computer scienceProof Technology in Mathematics Research and Teaching, 14, Springer International Publishing, pp.115-138, 2019, Mathematics Education in the Digital Era, ⟨10.1007/978-3-030-28483-1_6⟩
Book sections
hal-01912885v1
|
||
Contributions of logical analysis for mathematics educationBéziau, Jean-Yves; Desclés, Jean-Pierre; Moktefi, Amirouche; Pascu, Anca Christine. Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Springer International Publishing; Birkhäuser Basel; Springer International Publishing Switzerland, pp.549-561, 2023, Studies in Universal Logic, https://doi.org/10.1007/978-3-030-94452-0_29. ⟨10.1007/978-3-030-94452-0⟩
Book sections
hal-02070085v1
|
|||
Logic in University Mathematics EducationLerman S. Encyclopedia of Mathematics Education, Springer, 2018, 978-94-007-4977-1. ⟨10.1007/978-3-319-77487-9_100024-1⟩
Book sections
hal-02072331v1
|
|||
|
Eléments de théorie des matroïdes et matroïdes orientésPhilippe Langlois. Informatique mathématique - Une photographie en 2013, Presses Universitaires de Perpignan, pp.47-95, 2013, I-2.Théorie des matroïdes et des matroïdes orientés, 9782354121839
Book sections
lirmm-01398338v1
|
||
|
L’analyse logique comme outil pour les études didactiques en mathématiquesÉducation & Didactique, 2019, 13 (1), pp.61-81. ⟨10.4000/educationdidactique.3793⟩
Journal articles
hal-02070074v1
|