Hrsg.: Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (1993)
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableau and Integer Programming (Extended Abstract).
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.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableaux and Integer Programming.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany.
Konferenzveröffentlichung, Bibliographie