Skip to Main content Skip to Navigation
Reports

Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs

Nadira Boudjani Abdelkader Gouaich 1 Souhila Kaci 1 
1 SMILE - Système Multi-agent, Interaction, Langage, Evolution
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Document type :
Reports
Complete list of metadata
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02458939
Contributor : Souhila Kaci Connect in order to contact the contributor
Submitted on : Wednesday, January 29, 2020 - 11:33:14 AM
Last modification on : Friday, August 5, 2022 - 3:03:20 PM

Identifiers

  • HAL Id : lirmm-02458939, version 1

Collections

CNRS | SMILE | LIRMM | LARA | MIPS | UNIV-MONTPELLIER

Citation

Nadira Boudjani, Abdelkader Gouaich, Souhila Kaci. Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs. [Research Report] LIRMM (UM, CNRS). 2020. ⟨lirmm-02458939⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

33