E-SETHEO: An Automated3 Theorem Prover

@inproceedings{Stenz2000ESETHEOAA,
  title={E-SETHEO: An Automated3 Theorem Prover},
  author={Gernot Stenz and Andreas M. Wolf},
  booktitle={TABLEAUX},
  year={2000}
}
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.