SETHEO: A High-Performance Theorem Prover

Authors
R.Lentz,J.Schumann,S.Bayerl,W.Bibel
Citation
R.lentz,j.schumann,s.bayerl,w.bibel, SETHEO: A High-Performance Theorem Prover, Journal of automated reasoning , 8(2), 1992, pp. 183-212
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
2
Year of publication
1992
Pages
183 - 212
Database
ACNP
SICI code