Notice de personne
- Notice
Poernomo, Iman Hafiz (1976-....) forme internationale
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1976
Source(s) :
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, 2005
LC Authorities : http://authorities.loc.gov (2013-10-30)
Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, 2005
LC Authorities : http://authorities.loc.gov (2013-10-30)
Identifiant international de l'autorité :
ISNI 0000 0001 2441 2016
, cf.
http://isni.org/isni/0000000124412016
ISNI 0000 0001 1459 4274 (obsolète)
ISNI 0000 0001 1459 4274 (obsolète)
Identifiant de la notice : ark:/12148/cb16719913d
Notice n° :
FRBNF16719913
Création :
13/10/30
Mise à jour :
16/01/27