<div class="csl-bib-body">
<div class="csl-entry">Woltran, S. (2003). <i>Quantified Boolean formulas - from theory to practice</i> [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183034</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/183034
-
dc.description
Zsfassung in dt. Sprache
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Boolesche Formel
de
dc.subject
Quantifizierung
de
dc.title
Quantified Boolean formulas - from theory to practice
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Tompits, Hans
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC03829881
-
dc.description.numberOfPages
165
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.author.orcid
0000-0003-1594-8972
-
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
staff
-
tuw.assistant.orcid
0000-0001-5673-2460
-
item.languageiso639-1
en
-
item.openairetype
doctoral thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
