Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci. Debate-Based Learning Game for Constructing Mathematical Proofs.
ECSQARU: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Jul 2017, Lugano, Switzerland.
⟨10.1007/978-3-319-61581-3_4⟩.
⟨lirmm-01799456⟩