Call for Papers

CERME 7: Working Group 1
Argumentation and proof

Chair: Viviane Durand-Guerrier (France) vdurand@math.univ-montp2.fr

Papers