Eric Andreas de Kogel
Original record- Institution
- Tilburg University
- Year
- 1995
- Country
- Netherlands
- MGP identifier
- 299224
Dissertation: Equational Proofs in Tableaux and Logic Programming
Advisors 2
- Robert P. Nederpelt LazaromTechnische Universiteit Eindhoven · 1973
- Henricus Cornelius Maria de SwartKatholieke Universiteit Nijmegen · 1976
Students 0
No students recorded in this snapshot.