<div class="csl-bib-body">
<div class="csl-entry">Woltran, S. (2008). <i>Contributions to advanced equivalence checking in answer set programming</i> [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181446</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/181446
-
dc.description
Enth. Originalbeitr. u. 5 Veröffentl.
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Deklarative Programmierung
de
dc.subject
Logische Programmierung
de
dc.subject
Äquivalenz
de
dc.subject
Aufsatzsammlung
de
dc.title
Contributions to advanced equivalence checking in answer set programming
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
dc.type.qualificationlevel
Habilitation
-
dc.identifier.libraryid
AC07127927
-
dc.description.numberOfPages
107
-
dc.thesistype
Habilitationsschrift
de
dc.thesistype
Professorial Dissertation
en
tuw.author.orcid
0000-0003-1594-8972
-
item.languageiso639-1
en
-
item.openairetype
thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_46ec
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
