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: Selected Papers from Computer Science Logic, {CSL}'95, Paderborn, Germany, Springer-Verlag, In: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, In: LNCS, DOI: 10.1007/3-540-61377-3_31, [Online-Edition: https://doi.org/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:

Optionen (nur für Redakteure)

View Item View Item