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

Point d'accès autorisé

Pottier, Loïc (19..-....)

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 :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Chargé de recherche à l'INRIA de Sophia Antipolis

Identifiants externes

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

Source

Contributions à la certification des calculs dans R : théorie, preuves, programmation / présentée et soutenue par Assia Mahboubi ; sous la direction de Loïc Pottier. - 2006 [Thèse, Nice]

Internet, http://www-sop.inria.fr/lemme/Loic.Pottier/home.html, 2006-12-12

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