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

Point d'accès autorisé

Glondu, Stéphane

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 :    1984
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'une thèse de doctorat en Informatique à l'Université de Paris 7, 2012

Source

Vers une certification de l'extraction de coq/ Stéphane Glondu ; sous la direction de Roberto di Cosmo (thèse) 2012

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/288378189
Identifiant HAL : stephane-glondu

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

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