Rainer Fröning
Original record- Institution
- Rheinische Friedrich-Wilhelms-Universität Bonn
- Year
- 1976
- Country
- Germany
- MGP identifier
- 21790
Dissertation: Ein maschinelles Beweisen zur Behandlung algebraischer Strukturprobleme
Advisor 1
- Gerd VeenkerInstitution not recorded
Students 0
No students recorded in this snapshot.