Harel, David, 1950-

LC control no.	n 79038969
Personal name heading	Harel, David, 1950- *Browse this term in* LC Authorities or the LC Catalog
Variant(s)	הראל, דוד
Special note	Machine-derived non-Latin script reference project. Non-Latin script reference not evaluated.
Found in	His First-order dynamic logic, 1979: t.p. (David Harel) verso t.p. (IBM Research Div., Mathematical Sciences Dept., Yorktown Heights, N.Y.) FTS call to auth., 4/10/79 (b. 4/12/50; not same as Harel, Dudu, Israeli artist) His Pirḳe yesod be-madaʻe ha-maḥshev, 1985: t.p. (Prof. Daṿid Harʼel, ha-Maḥlaḳah le-matemaṭiḳah shimushit, Mekhon Ṿaitsman le-madaʻ, Reḥovot) t.p. verso (David Harel [in rom.])