Cookies help us deliver our services. By using our services, you agree to our use of cookies.

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 0.00

E-book
EUR 0.00

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