Stefan Gerberding

According to our database, Stefan Gerberding authored at least 5 papers between 1992 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

Structured Incremental Proof Planning.

Stefan Gerberding, Brigitte Pientka

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Implizite und explizite Induktionsbeweisverfahren.

Stefan Gerberding

PhD thesis, 1997

1996

DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics.

Stefan Gerberding

Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

1992

The Many-Valued Theorem Prover ₃T^AP.

Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig

IWBS Report, 1992

The Tableau-Based Theorem Prover ₃T^AP for Multi-Valued Logics.

Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig

Proceedings of the Automated Deduction, 1992