Titelaufnahme

Titel
Comparing different prenexing strategies for quantified boolean formulas / Michael Zolda
VerfasserZolda, Michael
Begutachter / BegutachterinEgly, Uwe
Erschienen2004
UmfangXIV, 109 S. : graph. Darst.
HochschulschriftWien, Techn. Univ., Dipl.-Arb., 2005
Anmerkung
Zsfassung in dt. Sprache
SpracheEnglisch
Bibl. ReferenzOeBB
DokumenttypDiplomarbeit
URNurn:nbn:at:at-ubtuw:1-9643 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Comparing different prenexing strategies for quantified boolean formulas [1.33 mb]
Links
Nachweis
Klassifikation