Cuvillier Verlag

Publications, Dissertations, Habilitations & Brochures.
International Specialist Publishing House for Science and Economy

Cuvillier Verlag

De En Es
Algebraic Techniques for Satisfiability Problems

Hard Copy
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 (English shop)

Henning Schnoor (Author)

Preview

Table of Contents, Datei (35 KB)
Extract, Datei (140 KB)

ISBN-13 (Printausgabe) 3867271763
ISBN-13 (Hard Copy) 9783867271769
ISBN-13 (eBook) 9783736921764
Language English
Page Number 138
Edition 1
Volume 0
Publication Place Göttingen
Place of Dissertation Hannover
Publication Date 2007-03-05
General Categorization Dissertation
Departments Informatics