# 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 Dataset Other## Links

#### On csauthors.net:

## Bibliography

1997

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

PhD thesis, 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 <sub>3</sub>T<sup>A</sup>P.

IWBS Report, 1992

The Tableau-Based Theorem Prover <sub>3</sub>T<sup>A</sup>P for Multi-Valued Logics.

Proceedings of the Automated Deduction, 1992