Reports
(Research Report)
Year : 2020
Souhila Kaci : Connect in order to contact the contributor
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02458939
Submitted on : Wednesday, January 29, 2020-11:33:14 AM
Last modification on : Monday, February 26, 2024-10:47:39 AM
Dates and versions
Identifiers
- HAL Id : lirmm-02458939 , version 1
Cite
Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci. Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs. [Research Report] LIRMM (UM, CNRS). 2020. ⟨lirmm-02458939⟩
77
View
0
Download