David Alan Plaisted
Original record- Institution
- Stanford University
- Year
- 1976
- Country
- United States
- MGP identifier
- 98855
Dissertation: Theorem Proving and Semantic Trees
Advisor 1
- Robert W FloydInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Jieh Hsiang | University of Illinois at Urbana-Champaign | 1983 | 1 |
| M. Paramasivam | The University of North Carolina at Chapel Hill | 1997 | 0 |