paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 111206359Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Herbelin, Hugo (19..-....)

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 : Francais,Anglais
Pays : France
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Chargé de recherche à l'INRIA, équipe LogiCal, Ecole Polytechnique, Palaiseau. Directeur d'une thèse de : Informatique, Université Paris-Sud 11, Orsay (en 2006).

Note publique d'information : 
Chercheur et directeur de recherche à l' Institut de recherche en informatique fondamentale ( IRIF-PPS) , Université Paris Diderot - Paris 7 (en 2019)

Source

Formalisation et automatisation du raisonnement géométrique en Coq / Julien Narboux, 2006 [thèse]

http://pauillac.inria.fr/~herbelin/, 2019-07-08

Information trouvée : Chercheur et directeur de recherche à l' Institut de recherche en informatique fondamentale ( IRIF-PPS) , Université Paris Diderot - Paris 7 (en 2019)

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/172719822

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

Equivalent dans un autre référentiel

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