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

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

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

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

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

Beckert, Bernhard and Gerberding, Stefan and Hähnle, Reiner and Kernig, Werner
Kapur, Deepak (ed.) (1992):
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Springer, In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, In: Lecture Notes in Computer Science, 607, DOI: 10.1007/3-540-55602-8₂₁₉,
[Online-Edition: https://doi.org/10.1007/3-540-55602-8_219],
[Conference or Workshop Item]

This list was generated on Sat Jun 15 00:49:35 2019 CEST.