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

Point d'accès autorisé

Corbineau, Pierre (1978-....)

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

Notes

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

Source

Démonstration automatique en théorie des types / Pierre Corbineau, 2005 [thèse]

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/216207844
Identifiant ISNI : 0000000359146277

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