Stefan Gerberding

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
Structured Incremental Proof Planning.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Implizite und explizite Induktionsbeweisverfahren.
DISKI 159, Infix, ISBN: 978-3-89601-159-6, 1997

1996
DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics.
Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

1992
The Many-Valued Theorem Prover 3TAP.
IWBS Report, 1992

The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Proceedings of the Automated Deduction, 1992


  Loading...