Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl, editors, Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992. 1992.
Conference: tableaux1992
No references recorded for this publication.
No citations of this publication recorded.