Shelfclass_id | 4.B.3 |
Sortkey | TABLEAUX |
Authors | Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl |
Title | TABLEAUX 1992: Theorem Proving with Analytic Tableaux and Related Methods: 1st International Workshop, March 18-12, 1992 in Lautenbach |
Publisher | University of Karlsruhe |
Year | 1992 |
Languages | eng |
Record date | 20060824 |
Location | Karlsruhe |
Notes | Fronhofer ; Hahnle, ; Kaufl |