Henning Schnoor

H.S.

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Algebraic Techniques for Satisfiability Problems978-3-86727-176-9
(3-86727-176-3)
2007

Henning Schöbener