DC Field
Value
Language
dc.contributor.advisor
Egly, Uwe
-
dc.contributor.author
Zolda, Michael
-
dc.date.accessioned
2020-06-30T01:13:19Z
-
dc.date.issued
2004
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Zolda, M. (2004). <i>Comparing different prenexing strategies for quantified boolean formulas</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-9643</div> </div>
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-9643
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/9582
-
dc.description
Zsfassung in dt. Sprache
-
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
Comparing different prenexing strategies for quantified boolean formulas
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Michael Zolda
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC04428855
-
dc.description.numberOfPages
109
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-9643
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
item.grantfulltext
open
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.openairetype
master thesis
-
item.mimetype
application/pdf
-
crisitem.author.dept
E182 - Institut für Technische Informatik
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Appears in Collections:
Thesis
Thumbnail
Fulltext (Version of Record (published version))
Adobe PDF
(1.37 MB)
Open Access In Copyright
Show simple item record

Page view(s)

336
checked on Nov 21, 2023

Download(s)

304
checked on Nov 21, 2023

Google ScholarTM

Check