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 <>
Submitted on : Wednesday, January 29, 2020 - 11:33:14 AM
Last modification on : Tuesday, February 4, 2020 - 1:34:20 AM

Identifiers

  • HAL Id : lirmm-02458939, version 1

Collections

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

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

Share

Metrics

Record views

56