Prof. Dr. Martin Giese
Proof search without backtracking for free variable tableaux.
Karlsruhe Institute of Technology, Germany, (2002)
- Doktorvater / Doktormutter: Reiner Hähnle
- Erstgutachter_in:
- Gutachter_in:
- Betreuer_in:
- Autor_in: Martin Giese
- Herausgeber_in:
- Andere: