Bubeck, Uwe.

    Model-based transformations for quantified boolean formulas / Uwe Bubeck.
    Heidelberg : IOS Press ; AKA, cop. 2010. XII, 211 s. : il. ; 21 cm.
    (DISKI, ISSN 0941-5769 ; 329)
    (DISKI Dissertationen zur Künstlichen Intelligenz ISSN 0941-5769 329)
    ISBN 978-1-60750-545-7 (IOS Press)     ISBN 978-3-89838-329-5 (AKA Verlag Heidelberg)

   
T.15747        UKD: 510.6=111