Datensatz Zitierlink: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-9643
http://hdl.handle.net/20.500.12708/9582
-
Titel: 
Comparing different prenexing strategies for quantified boolean formulas
en
Zitat: 
Zolda, M. (2004). Comparing different prenexing strategies for quantified boolean formulas [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-9643
-
CatalogPlus: 
AC04428855
-
Publikationstyp: 
Hochschulschrift - Diplomarbeit
de
Sprache: 
Englisch
-
Autor_innen: 
Zolda, Michael 
-
Betreuer_in: 
Egly, Uwe 
-
Organisations­einheit: 
E184 - Institut für Informationssysteme 
-
Datum (veröffentlicht): 
2004
-
Umfang: 
109
-
Weitere Information: 
Zsfassung in dt. Sprache
-
Lizenz: 
Urheberrechtsschutz
de
Enthalten in den Sammlungen:
Thesis

Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(1.37 MB)
Open Access Urheberrechtsschutz
Zur Langanzeige

Seiten Aufrufe

336
aufgerufen am 21.11.2023

Download(s)

304
aufgerufen am 21.11.2023

Google ScholarTM

Check