Nicholas Freitag McPhee
Original record- Institution
- University of Texas at Austin
- Year
- 1993
- Country
- United States
- MGP identifier
- 45804
Dissertation: Mechanically Proving Geometry Theorems Using Wu's Method and Collins' Method
Advisors 2
- Shang-Ching ChouUniversity of Texas at Austin · 1985
- Robert Stephen BoyerUniversity of Texas at Austin · 1971
Students 0
No students recorded in this snapshot.