Publications

Export 5 results:
Filters: Author is Michael Seyfried  [Clear All Filters]
1995
Heuerding, A., Jäger, G., Schwendimann, S., Seyfried, M.: LWB - a logics workbench, extended abstract. In: Dreschler-Fischer, L. and Pribbenow, S. Proceedings of KI-95 Activities: Workshop, Posters, Demos. pp. 73-74. Gesellschaft für Informatik (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).