Gerberding, Stefan (1997)
Implizite und explizite Induktionsbeweisverfahren.
Technische Universität Darmstadt
Dissertation, Bibliographie

Gerberding, Stefan (1996)
DT an automated theorem prover for multiple-valued first-order predicate logics.
Konferenzveröffentlichung, Bibliographie

Gerberding, Stefan ; Noltemeier, (1995)
Choosing induction relations within the INKA-system.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Beckert, Bernhard ; Gerberding, Stefan (1994)
The Many-Valued Tableau-Based Theorem Prover TAP.
Report, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kapur, Deepak (1992)
The Many-Valued Tableau-Based Theorem Prover TaP.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kapur, Deepak (1992)
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
doi: 10.1007/3-540-55602-8_219
Konferenzveröffentlichung, Bibliographie