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

Point d'accès autorisé

Ciaffaglione, Alberto (1970-....)

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 : italien
Pays : Italie
Date de naissance :    1970
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique

Source

Certified reasoning on real numbers and objects in co-inductive type theory / Alberto Ciaffaglione [thèse]

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/216113108
Identifiant ISNI : 0000000359032763

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