Bücher nach ISBN
>
Cuvillier, E
> Henning Schnoor
Henning Schnoor
H.S.
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Algebraic Techniques for Satisfiability Problems
978-3-86727-176-9
(3-86727-176-3)
2007
Henning Schöbener