David Harel

David Harel (right) with [[Carl Hewitt]] at FLoC 2006 David Harel (; born 12 April 1950) is a computer scientist at the Weizmann Institute of Science in Israel, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. He currently also serves as Vice-President of the Israel Academy of Sciences and Humanities. Provided by Wikipedia
1
by Harel, David, 1950-
Published 1992
Book
2
by Harel, David, 1950-
Published 1979
Book
3
by Harel, David, 1950-
Published 2000
Book
4
by Harel, David, 1950-
Published 1988
Other Authors: '; ...Harel, David, 1950-...
(CARLI) (Other Sources: (NEIdb)270799)
Book
5
by Harel, David, 1950-
Published 2004
Book
6
by Harel, David, 1950-
Published 1998
Book
7
by Harel, David, 1950-
Published 2003
Book
8
by Harel, David, 1950-
Published 1979
...Harel, David, 1950- First-order dynamic logic....
(CARLI) (Other Sources: (UIUdb)7443888)
Book Electronic
9
by Harel, David, 1950-
Published 2000
Book
10
by Harel, David, 1950-
Published 1987
...Harel, David, 1950- Algorithmics....
Book
12
by Harel, David, 1950-
Published 2000
...Harel, David, 1950- Dynamic logic....
Book Electronic
Search Tools: Get RSS Feed Email this Search