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

Point d'accès autorisé

Vanzetto, Hernán (1981-....)
Nom à l'état civil

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 : anglais
Pays : Italie,Argentine
Date de naissance :    1981
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse en informatique

Source

Automatisation de preuves et synthèse de types pour la théorie des ensembles dans le contexte de TLA+ / Hernán Vanzetto ; sous la dir. de Stephan Merz. Thèse de doctorat : Informatique : Université de Lorraine : 2014

Information trouvée : Né le 5 février 1981

Identifiants externes

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

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