Olivier Hermant
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 137948
Dissertation: Méthodes Sémantiques en Déduction Modulo. Thèse de Doctorat d'informatique
Advisor 1
- Gilles DowekUniversité Paris Diderot - Paris 7 · 1991
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Guillaume Genestier | Not recorded | 2020 | 0 |