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

Point d'accès autorisé

Narboux, Julien (1979-....)

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

Notes

Note publique d'information : 
Auteur d'une thèse de : Informatique, Université Paris-Sud 11, Orsay (en 2006)

Identifiants externes

Identifiant HAL : julien-narboux
Identifiant VIAF : http://viaf.org/viaf/220581139
Identifiant ORCID : 0000-0003-3527-7184
Identifiant SCOPUS : 22433673100
Identifiant ISNI : 0000000360536264

Source

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

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