Simon Modeste, Sylvain Beauvoir, Jonathan Chappelon, Viviane Durand-Guerrier, Nicolás León, et al.. Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving.
CERME 10, Feb 2017, Dublin, Ireland. pp.1634-1641.
⟨hal-02398483⟩