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
DC Field
Value
Language
dc.contributor.advisor
Egly, Uwe
-
dc.contributor.author
Zugaj, Andreas
-
dc.date.accessioned
2020-06-30T12:06:54Z
-
dc.date.issued
2006
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Zugaj, A. (2006). <i>Counter lattice generation for non-provable formulas</i> [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126</div> </div>
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37126
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/12419
-
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
Counter lattice generation for non-provable 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
Andreas Zugaj
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC05840662
-
dc.description.numberOfPages
80
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-37126
-
dc.thesistype
Masterarbeit
de
dc.thesistype
Master Thesis
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
item.openairetype
master thesis
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.cerifentitytype
Publications
-
crisitem.author.dept
TU Wien
-
Appears in Collections:
Thesis
Fulltext (Version of Record (published version))
Adobe PDF
(334.7 kB)
In Copyright
Show simple item record
Page view(s)
219
checked on Nov 21, 2023
Download(s)
75
checked on Nov 21, 2023
Google Scholar
TM
Check