TU Darmstadt / ULB / TUbiblio

Analytic Tableau and Integer Programming (Extended Abstract)

Hähnle, Reiner
Fronhöfer, Bertram and Hähnle, Reiner and Käufl, Thomas (eds.) (1992):
Analytic Tableau and Integer Programming (Extended Abstract).
In: 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, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1992
Editors: Fronhöfer, Bertram and Hähnle, Reiner and Käufl, Thomas
Creators: Hähnle, Reiner
Title: Analytic Tableau and Integer Programming (Extended Abstract)
Language: German
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: 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
Date Deposited: 27 Apr 2018 10:54
Export:

Optionen (nur für Redakteure)

View Item View Item