Naomi Lindenstrauss
Original record- Institution
- Hebrew University of Jerusalem
- Year
- 1990
- Country
- Israel
- MGP identifier
- 110604
Dissertation: Search Strategies for Solutions to Goals of Horn Clause Programs and Rewrite Programs
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Nachum DershowitzWeizmann Institute of Science · 1979
- Marc SnirHebrew University of Jerusalem · 1979
Students 0
No students recorded in this snapshot.