TY  - BOOK
A2  - Uwe Bubeck.
AU  - Bubeck, Uwe.
NV  - XII, 211 s. :
PY  - 2010
SN  - 9781607505457
SN  - 9783898383295
TI  - Model-based transformations for quantified boolean formulas /
VL  - 329
ER  -