Amy Felty
Original record- Institution
- University of Pennsylvania
- Year
- 1989
- Country
- United States
- MGP identifier
- 60893
Dissertation: Implementing Theorem Provers in a Higher-Order Logic Programming Language
Advisor 1
- Dale Allen MillerCarnegie Mellon University · 1983
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Franck Binard | University of Ottawa | 2009 | 0 |