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
Number of items: 6.

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

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

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

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

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

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

This list was generated on Sat Dec 9 01:49:20 2023 CET.