Knowledge Tree

researcher / Michel Herment

Michel Herment

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Glef atinf : un cadre générique pour la connexion d'outils d'inférence et l'édition graphique de preuves