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.
159, Sankt Augustin: infix, 1997. 279 S, Sankt Augustin, infix, TU Darmstadt,
[Ph.D. Thesis]

1996

Gerberding, Stefan (1996):
DT an automated theorem prover for multiple-valued first-order predicate logics.
In: International Symposium on Multiple-Valued Logic <26, 1996, Santiago de Compostela, Spain>: Proceedings. S. 284-289, Los Alamitos, Calif.: IEEE Computer Soc. Press, 1996, Los Alamitos, Calif, IEEE Computer Soc. Press, [Conference or Workshop Item]

1995

Gerberding, Stefan ; Noltemeier, (1995):
Choosing induction relations within the INKA-system.
In: German Annual Conference on Artificial Intelligence <19, 1995, Bielefeld>: Proceedings. S. 329-331, 981, Heidelberg (u.a.): Springer, 1995, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

1994

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

1992

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Kapur, Deepak (ed.) (1992):
The Many-Valued Tableau-Based Theorem Prover TaP.
In: LNCS, 607, In: Proc. 11th Conference on Automated Deduction, Albany/NY, pp. 758--760,
Springer-Verlag, [Conference or Workshop Item]

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Kapur, Deepak (ed.) (1992):
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
In: Lecture Notes in Computer Science, 607, pp. 758-760, Springer, 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₂₁₉,
[Conference or Workshop Item]

This list was generated on Sat Sep 25 07:22:25 2021 CEST.