Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs

Report

Nadira Boudjani, Abdelkader Gouaich and Souhila Kaci

29/01/2020

Files and links (1)

url

Find in HALView

1 Record Views

Title: Argumentation Frameworks for Constructing, Representing and Evaluating Deductive Mathematical Proofs
Creators - without role: Nadira Boudjani
Abdelkader Gouaich - InterAction
Souhila Kaci - InterAction
Identifiers: 9942144609311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Report
Local Fields: lirmm-02458939