paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 103569715Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/103569715/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Hermant, Olivier (1978-....)

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

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

Identifiants externes

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

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 103569715
RCR créateur de la notice : 751052125
Date de création : 14-06-2006
RCR dernier modificateur de la notice : 751052125
Date de dernière modification : 19-10-2020 à 23 h 25

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