TU Darmstadt / ULB / TUbiblio

The SAT Problem of Signed CNF Formulas

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Hrsg.: Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (2000)
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 2000
Herausgeber: Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca
Autor(en): Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Art des Eintrags: Bibliographie
Titel: The SAT Problem of Signed CNF Formulas
Sprache: Deutsch
Publikationsjahr: 2000
Verlag: Kluwer, Dordrecht
Buchtitel: Labelled Deduction
Reihe: Applied Logic Series
Band einer Reihe: 17
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Hinterlegungsdatum: 31 Dez 2016 10:40
Letzte Änderung: 16 Mai 2018 12:06
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen