Publications

Export 1 results:
Filters: Author is Reiner Hähnle  [Clear All Filters]
1995
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: Propositional logics on the computer. In: Baumgartner, P., Hähnle, R., and Posegga, J. Proceedings of Theorem Proving with Analytic Tableaux and Related Methods. pp. 310-323. Springer (1995).