Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126
http://hdl.handle.net/20.500.12708/12419
-
Title:
Counter lattice generation for non-provable formulas
en
Citation:
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
-
Publication Type:
Thesis - Masterarbeit
en
Language:
English
-
Authors:
Zugaj, Andreas
-
Advisor:
Egly, Uwe
-
Organisational Unit:
E184 - Institut für Informationssysteme
-
Date (published):
2006
-
Number of Pages:
80
-
License:
In Copyright
de
Appears in Collections:
Thesis
Fulltext (Version of Record (published version))
Adobe PDF
(334.7 kB)
In Copyright
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Google Scholar
TM
Check