Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Reports (Research Report) Year : 2020

Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs

No file

Dates and versions

lirmm-02458939 , version 1 (29-01-2020)

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⟩
71 View
0 Download

Share

Gmail Facebook X LinkedIn More