paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 103569715Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Hermant, Olivier (1978-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : France
Date de naissance :    1978
Genre : Masculin

Notes

Note publique d'information : 
Thèse de doctorat en Informatique soutenue en 2005 à l'Université de Paris 7

Identifiants externes

Identifiant HAL : olivier-hermant
Identifiant VIAF : http://viaf.org/viaf/215042958
Identifiant ORCID : 0000-0001-6233-1903
Identifiant SCOPUS : 23392595900
Identifiant ISNI : 0000000359146568

Source

Automated Deduction and Proof Certification for the B Method / Pierre Halmagrand, 2016. Thèse de doctorat : Informatique : Paris, CNAM : 2016

Information trouvée : Chargé de recherche, Mines ParisTech

Méthodes sémantiques en déduction modulo / Olivier Hermant ; sous la direction de Gilles Dowek, 2005

... Références liées : ...