TU Darmstadt / ULB / TUbiblio

Analytic Tableaux and Integer Programming

Hähnle, Reiner
eds.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableaux and Integer Programming.
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 1992
Editors: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas
Creators: Hähnle, Reiner
Type of entry: Bibliographie
Title: Analytic Tableaux and Integer Programming
Language: German
Date: 1992
Publisher: Internal Report 8/92, University of Karlsruhe
Book Title: Proc. Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Last Modified: 16 May 2018 12:06
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details