David Allen McAllester
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 1987
- Country
- United States
- MGP identifier
- 80263
Dissertation: ONTIC: A Knowledge Representation System for Mathematics
Advisor 1
- Gerald Jay SussmanMassachusetts Institute of Technology · 1973
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Robert Lawrence Givan, Jr. | Massachusetts Institute of Technology | 1996 | 0 |