TU Darmstadt / ULB / TUbiblio

The SAT Problem of Signed CNF Formulas

Beckert, Bernhard and Hähnle, Reiner and Manya, Felip Basin, David and D'Agostino, Marcello and Gabbay, Dov and Matthews, Seán and Viganò, Luca (eds.) (2000):
The SAT Problem of Signed CNF Formulas.
In: Applied Logic Series, 17, In: Labelled Deduction, pp. 61--82, Kluwer, Dordrecht, ISBN 0-7923-6237-3,
[Book Section]

Item Type: Book Section
Erschienen: 2000
Editors: Basin, David and D'Agostino, Marcello and Gabbay, Dov and Matthews, Seán and Viganò, Luca
Creators: Beckert, Bernhard and Hähnle, Reiner and Manya, Felip
Title: The SAT Problem of Signed CNF Formulas
Language: German
Title of Book: Labelled Deduction
Series Name: Applied Logic Series
Volume: 17
Publisher: Kluwer, Dordrecht
ISBN: 0-7923-6237-3
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: BHM99b
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