| LC control no. | n 79038969 |
|---|---|
| Descriptive conventions | rda |
| Personal name heading | Harel, David, 1950- |
| Variant(s) | הראל, דוד |
| Special note | Machine-derived non-Latin script reference project. Non-Latin script reference not evaluated. Not the same as: Harel, Dudu, artist. |
| 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 Pirḳe yesod be-madaʻe ha-maḥshev, 1985: t.p. (Prof. Daṿid Harʼel, ha-Maḥlaḳah le-matemaṭiḳah shimushit, Mekhon Ṿaitsman le-madaʻ, Reḥovot) t.p. verso (David Harel [in rom.]) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
