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 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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

This author has not been identified. Look up 'Bertram Fronhöfer' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'Thomas Käufl' in Google

runs on WebDSL