Nadira Boudjani. Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation. (Argumentation frameworks for constructing and evaluating deductive mathematical proofs). PhD thesis, University of Montpellier, France, 2018. [doi]
Abstract is missing.