# Werner Kernig

According to our database

Collaborative distances:

^{1}, Werner Kernig authored at least 3 papers between 1992 and 1993.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

1993

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

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