cx a22 3 45
075173247
http://www.idref.fr/075173247
20031126
20201020184730.000
545472102
545472102
Tp5
0000000359032763
ISNI
VIAF
20200401
http://viaf.org/viaf/216113108
VIAF
VIAF
20200401
20031126afrey50 ba0
ita
IT
1970
0
1
0
ba
AFNOR
ba0yba0y
0
Ciaffaglione
Alberto
1970-....
ba0yba0y
Titulaire d'un doctorat en Informatique
SCANR
102020
ESR
FR
Abes
20201020
AFNOR
Certified reasoning on real numbers and objects in co-inductive type theory / Alberto Ciaffaglione [thèse]
Ciaffaglione, Alberto (1970-....)