Wilfried Neitz
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 96706
Dissertation: Untersuchungen zum selektiven Backtracking in zielorientierten Kalkülen des automatischen Theorembeweisens
Advisor 1
- Heinrich HerreHumboldt-Universität zu Berlin · 1972
Students 0
No students recorded in this snapshot.