Titelaufnahme

Titel
Counter lattice generation for non-provable formulas / by Andreas Zugaj
VerfasserZugaj, Andreas
Begutachter / BegutachterinEgly, Uwe
Erschienen2006
UmfangII, 80 Bl. : graph. Darst.
HochschulschriftWien, Techn. Univ., Mag.-Arb., 2006
SpracheEnglisch
Bibl. ReferenzOeBB
DokumenttypMasterarbeit
URNurn:nbn:at:at-ubtuw:1-37126 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Counter lattice generation for non-provable formulas [0.32 mb]
Links
Nachweis
Klassifikation