Datensatz Zitierlink: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126
http://hdl.handle.net/20.500.12708/12419
-
Titel: 
Counter lattice generation for non-provable formulas
en
Zitat: 
Zugaj, A. (2006). Counter lattice generation for non-provable formulas [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126
-
CatalogPlus: 
AC05840662
-
Publikationstyp: 
Hochschulschrift - Masterarbeit
de
Sprache: 
Englisch
-
Autor_innen: 
Zugaj, Andreas 
-
Betreuer_in: 
Egly, Uwe
-
Organisations­einheit: 
E184 - Institut für Informationssysteme 
-
Datum (veröffentlicht): 
2006
-
Umfang: 
80
-
Lizenz: 
Urheberrechtsschutz
de
Enthalten in den Sammlungen:
Thesis

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

Seiten Aufrufe

359
aufgerufen am 21.11.2023

Download(s)

123
aufgerufen am 21.11.2023

Google ScholarTM

Check