Andrew A. Adams
Original record- Institution
- University of St. Andrews
- Year
- 1997
- Country
- United Kingdom
- MGP identifier
- 32873
Dissertation: Tools and Techniques for Machine-Assisted Meta-theory
Advisors 2
- Ursula Hilda Mary Martin (Webb)University of Warwick · 1979
- Roy DyckhoffInstitution not recorded
Students 0
No students recorded in this snapshot.