Notice de personne
- Notice
000 cx a22 45
001 FRBNF123758208
005 20210330
010 .. $a 0000000081637740 $2 VIAF $d 20130726
010 .. $y 0000000468633613 $2 ISNI $d 20180912
039 .. $o OPL $a 009980506
039 .. $o OPP $a 17251296 $d 20210330
100 .. $a 19940228afrey50 ba0
101 .. $a eng $a heb
102 .. $a ZZ $a IL $a US
103 .. $a 19390117 20180830
105 .. $a a
106 .. $a 1
120 .. $a b
152 .. $c 2
200 .| $7 ba0yba0e $8 fre $9 0 $a Manna $b Zohar $f 1939-2018
300 0. $a 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)
301 .. $a Haïfa (Palestine, aujourd'hui Israël) $b Netanya (Israël)
400 .| $7 ba0yba0a $8 freheb $9 $a Manah $b Zohar $f 1939-2018
400 .| $7 ba0yha0y $8 freheb $9 $a מנה $b זהר $f 1939-2018
700 .| $7 ba0yba0a $8 freheb $9 0 $a Manah $b Zwhar $f 1939-2018
700 .| $7 ba0yha0y $8 freheb $9 0 $a מנה $b זוהר $f 1939-2018
801 .. $a FR $b FR-751131015 $c 20210330
810 .. $a Lectures on the logic of computer programming / Zohar Manna, 1980 $a The Calculus of Computation [Texte électronique] : Decision Procedures with Applications
to Verification.- Guildford : Springer London ; Boulder : NetLibrary, Inc. [distributor]
810 .. $a LC authorities - https://authorities.loc.gov (2018-09-06) $a National library of Israel - http://web.nli.org.il (2018-09-06)
810 .. $a BnF Service hébreu, 2021-03-18
