# Stefan Gerberding

According to our database

Collaborative distances:

^{1}, 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

_{3}T^{A}P.
IWBS Report, 1992

Proceedings of the Automated Deduction, 1992