MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Stefan Gerberding – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics
by Stefan Gerberding — 1996 — In Proc. 26th International Symposium on Multiple-Valued Logics
…d DT --- An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics Stefan…
Cited by 2 (0 self) – Add To MetaCart

3TAP - The Many-Valued Theorem-Prover
by Reiner Hähnle, Bernhard Beckert, Stefan Gerberding — 1994
…3 T A P The Many-Valued Theorem-Prover Reiner Hahnle Bernhard Beckert Stefan Gerberding 3rd…
Add To MetaCart

The tableau-based theorem prover 3T A P for multiple-valued logics
by Bernhard Beckert, Reiner Hähnle, Stefan Gerberding, Werner Kernig — 1992 — In Proceedings, CADE 11, Albany/NY, LNCS
… Hähnle Stefan Gerberding Werner Kernig Institute for Logic, Complexity and Deduction Systems University…
Cited by 2 (2 self) – Add To MetaCart

Incremental Proof Planning by Meta-Rules
by Stefan Gerberding, Axel Noltemeier, Debis Systemhaus Gei — 1997 — Proc. FLAIRS-97, Daytona Beach, ISBN
…Incremental Proof Planning by Meta-Rules Stefan Gerberding TH--Darmstadt Axel Noltemeier Debis…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB