Propositional logics on the computer

TitlePropositional logics on the computer
Publication TypeConference Paper
Year of Publication1995
AuthorsHeuerding, A, Jäger, G, Schwendimann, S, Seyfried, M
EditorBaumgartner, P, Hähnle, R, Posegga, J
Conference NameProceedings of Theorem Proving with Analytic Tableaux and Related Methods
Pagination310-323
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/1995/hjss95a.ps