DC Field
Value
Language
dc.contributor.author
Weller, Daniel
-
dc.date.accessioned
2023-03-04T13:58:34Z
-
dc.date.issued
2019
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Weller, D. (2019). <i>Contributions to algorithmic proof analysis</i> [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159467</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/159467
-
dc.description
Enthält Originalbeitrag und 7 Veröffentlichungen, so wie sonstige wissenschaftliche Arbeiten als Beilage (35 Blätter)
-
dc.language
Deutsch
-
dc.language.iso
de
-
dc.subject
Mathematik
de
dc.subject
Beweistheorie
de
dc.subject
Algorithmus
de
dc.title
Contributions to algorithmic proof analysis
de
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.publisher.place
Wien
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
dc.type.qualificationlevel
Habilitation
-
dc.identifier.libraryid
AC16167228
-
dc.description.numberOfPages
174
-
dc.thesistype
Habilitationsschrift
de
dc.thesistype
Professorial Dissertation
en
item.cerifentitytype
Publications
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.languageiso639-1
de
-
item.openairecristype
http://purl.org/coar/resource_type/c_46ec
-
item.openairetype
thesis
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E100 - Fakultät für Mathematik und Geoinformation
-
Appears in Collections:
Thesis
Show simple item record

Page view(s)

22
checked on Dec 1, 2023

Google ScholarTM

Check