TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: 1997 | 1996 | 1995 | 1994 | 1992
Number of items: 6.

1997

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

1996

Gerberding, Stefan (1996)
DT an automated theorem prover for multiple-valued first-order predicate logics.
Conference or Workshop Item, Bibliographie

1995

Gerberding, Stefan ; Noltemeier, (1995)
Choosing induction relations within the INKA-system.
Conference or Workshop Item, Bibliographie

1994

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

1992

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
ed.: Kapur, Deepak (1992)
The Many-Valued Tableau-Based Theorem Prover TaP.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
ed.: 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
Conference or Workshop Item, Bibliographie

This list was generated on Tue Feb 20 01:39:35 2024 CET.