Benjamin Price Shults
Original record- Institution
- University of Texas at Austin
- Year
- 1997
- Country
- United States
- MGP identifier
- 34237
Dissertation: Discoveries and Experiments in the Automation of Mathematical Reasoning
Advisors 2
- Robert Stephen BoyerUniversity of Texas at Austin · 1971
- Larry Marvin HinesUniversity of Texas at Austin · 1988
Students 0
No students recorded in this snapshot.