TU Darmstadt / ULB / TUbiblio

Deduction by Combining Semantic Tableaux and Integer Programming

Beckert, Bernhard and Hähnle, Reiner Kleine Büning, Hans (ed.) (1995):
Deduction by Combining Semantic Tableaux and Integer Programming.
In: LNCS, 1092, In: Selected Papers from Computer Science Logic, {CSL}'95, Paderborn, Germany, pp. 52-63,
Springer-Verlag, Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, DOI: 10.1007/3-540-61377-3_31,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1995
Editors: Kleine Büning, Hans
Creators: Beckert, Bernhard and Hähnle, Reiner
Title: Deduction by Combining Semantic Tableaux and Integer Programming
Language: German
Title of Book: Selected Papers from Computer Science Logic, {CSL}'95, Paderborn, Germany
Series Name: LNCS
Volume: 1092
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1007/3-540-61377-3_31
Official URL: https://doi.org/10.1007/3-540-61377-3_31
Identification Number: BeckertHaehnle95a
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