Glondu, Stéphane

Identifiant pérenne : 165407492

URI de l'entité : http://www.idref.fr/165407492/id

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 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

Informations sur la notice

Identifiant de la notice : 165407492

Créateur de la notice : 751132105

Création : 13-11-2012

Dernier modificateur de la notice : 751132105

Dernière modification : 05-09-2021 à 18 h 15

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