Willy M. J. Ophelders
Original record- Institution
- Tilburg University
- Year
- 1992
- Country
- Netherlands
- MGP identifier
- 304747
Dissertation: Automated theorem proving based upon a tableau-method with unification under restrictions: Theory, implementation and empirical results
Advisor 1
- Henricus Cornelius Maria de SwartKatholieke Universiteit Nijmegen · 1976
Students 0
No students recorded in this snapshot.