Knowledge Tree

researcher / Nadira Boudjani

Nadira Boudjani

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation