DC Field
Value
Language
dc.contributor.advisor
Gramlich, Bernhard
-
dc.contributor.author
Zakraoui, Jesia
-
dc.date.accessioned
2023-06-18T06:30:38Z
-
dc.date.issued
2005
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Zakraoui, J. (2005). <i>Software-Tools für Terminierungsbeweise von Termersetzungssystemen : eine vergleichende Analyse</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179840</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/179840
-
dc.language
Deutsch
-
dc.language.iso
de
-
dc.title
Software-Tools für Terminierungsbeweise von Termersetzungssystemen : eine vergleichende Analyse
de
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E185 - Institut für Computersprachen
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC04829394
-
dc.description.numberOfPages
112
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
tuw.advisor.staffStatus
staff
-
item.languageiso639-1
de
-
item.openairetype
master thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
crisitem.author.dept
E0152 - Teaching Support Center
-
crisitem.author.parentorg
E620 - Vizerektorat Studium und Lehre
-
Appears in Collections:
Thesis
Show simple item record

Page view(s)

79
checked on Dec 1, 2023

Google ScholarTM

Check