DC Field
Value
Language
dc.contributor.author
Pichler, Reinhard
-
dc.date.accessioned
2023-06-19T08:32:55Z
-
dc.date.issued
2000
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Pichler, R. (2000). <i>H-Subsumption in automated deduction</i> [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183933</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/183933
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Automatisches Beweisverfahren
de
dc.subject
Subsumtion
de
dc.title
H-Subsumption in automated deduction
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC03025997
-
dc.description.numberOfPages
120
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.author.orcid
0000-0002-1760-122X
-
item.languageiso639-1
en
-
item.openairetype
doctoral thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.orcid
0000-0002-1760-122X
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Thesis
Show simple item record

Page view(s)

50
checked on Dec 1, 2023

Google ScholarTM

Check