Joyce Barbara Friedman
Original record- Institution
- Harvard University
- Year
- 1965
- Country
- United States
- MGP identifier
- 8658
Dissertation: A New Decision Procedure in Logic with a Computer Realization
Advisor 1
- Hao WangHarvard University · 1948
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| (Charles) Raymond Perrault | University of Michigan | 1975 | 3 |
| Remko Jan Hendrik Scha | Rijksuniversiteit Groningen | 1983 | 27 |
| Marwan Shaban | Boston University | 1996 | 0 |
| David Scott Warren | University of Michigan | 1979 | 14 |