Notice de personne
- Notice
Manna, Zohar (1939-2018) forme internationale romanisation
Manah, Zwhar (1939-2018) forme internationale translit.-ISO hébreu
מנה, זוהר (1939-2018) forme internationale hébreu
Manah, Zwhar (1939-2018) forme internationale translit.-ISO hébreu
מנה, זוהר (1939-2018) forme internationale hébreu
Pays :
Israël / États-Unis
Langue(s) :
anglais, hébreu
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1939-01-17, Haïfa (Palestine, aujourd'hui Israël)
Mort :
2018-08-30, Netanya (Israël)
Informaticien et mathématicien. - Professeur, Computer science department, School
of engineering, Stanford university, Californie (en 1978). - En poste à l'Institut
Weizmann des sciences, Rehovot, Israël (en 1980).
Forme(s) rejetée(s) :
< Manah, Zohar (1939-2018) translit.-ISO hébreu
< מנה, זהר (1939-2018) hébreu
< Manah, Zohar (1939-2018) translit.-ISO hébreu
< מנה, זהר (1939-2018) hébreu
Source(s) :
Lectures on the logic of computer programming / Zohar Manna, 1980 . - The Calculus of Computation [Texte électronique] : Decision Procedures with Applications to Verification.- Guildford : Springer London ; Boulder : NetLibrary, Inc. [distributor]
LC authorities : https://authorities.loc.gov/ (2018-09-06) . - National library of Israel : http://web.nli.org.il/ (2018-09-06)
BnF Service hébreu, 2021-03-18
Lectures on the logic of computer programming / Zohar Manna, 1980 . - The Calculus of Computation [Texte électronique] : Decision Procedures with Applications to Verification.- Guildford : Springer London ; Boulder : NetLibrary, Inc. [distributor]
LC authorities : https://authorities.loc.gov/ (2018-09-06) . - National library of Israel : http://web.nli.org.il/ (2018-09-06)
BnF Service hébreu, 2021-03-18
Identifiant international de l'autorité :
ISNI 0000 0000 8163 7740
, cf.
http://isni.org/isni/0000000081637740
ISNI 0000 0004 6863 3613 (obsolète)
ISNI 0000 0004 6863 3613 (obsolète)
Identifiant de la notice : ark:/12148/cb12375820f
Notice n° :
FRBNF12375820
Création :
94/02/28
Mise à jour :
21/03/30
