Michel Herment. GLEF ATINF, un cadre générique pour la connexion d'outils d'inférence et l'édition graphique de preuves. (GLEFATINF, a generic graphic framework for combining inference tools and editing proofs and formulae). PhD thesis, Grenoble Institute of Technology, France, 1994. [doi]
@phdthesis{hal-5107,
title = {GLEF ATINF, un cadre générique pour la connexion d'outils d'inférence et l'édition graphique de preuves. (GLEFATINF, a generic graphic framework for combining inference tools and editing proofs and formulae)},
author = {Michel Herment},
year = {1994},
url = {https://tel.archives-ouvertes.fr/tel-00344974},
researchr = {https://researchr.org/publication/hal-5107},
cites = {0},
citedby = {0},
school = {Grenoble Institute of Technology, France},
}