Cuvillier Verlag

35 Jahre Kompetenz im wissenschaftlichen Publizieren
Internationaler Fachverlag für Wissenschaft und Wirtschaft

Cuvillier Verlag

De En Es
Algebraic Techniques for Satisfiability Problems

Printausgabe
EUR 19,00 EUR 18,05

E-Book
EUR 0,00

Download
PDF (1,7 MB)
Open Access CC BY 4.0

Algebraic Techniques for Satisfiability Problems

Henning Schnoor (Autor)

Vorschau

Inhaltsverzeichnis, Datei (35 KB)
Leseprobe, Datei (140 KB)

ISBN-13 (Printausgabe) 3867271763
ISBN-13 (Printausgabe) 9783867271769
ISBN-13 (E-Book) 9783736921764
Sprache Englisch
Seitenanzahl 138
Auflage 1
Band 0
Erscheinungsort Göttingen
Promotionsort Hannover
Erscheinungsdatum 05.03.2007
Allgemeine Einordnung Dissertation
Fachbereiche Informatik