Stefan Feyock
Original record- Institution
- University of Wisconsin-Madison
- Year
- 1971
- Country
- United States
- MGP identifier
- 30522
Dissertation: Properties of Inference Rules and Automatic Formulation of New Rules in a Friedman-Type Theorem-Proving System
Advisor 1
- Larry TravisUniversity of California, Los Angeles · 1966
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Clayton Matthew Johnson | College of William and Mary | 1996 | 0 |
| Stamos T. Karamouzis | College of William and Mary | 1993 | 0 |
| Hans-Joachim Pohl | Technische Universität Darmstadt | 1988 | 0 |