DC Field
Value
Language
dc.contributor.author
Nivelle, Hans de
-
dc.date.accessioned
2023-06-20T11:28:22Z
-
dc.date.issued
2005
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Nivelle, H. de. (2005). <i>Using resolution as decision procedure</i> [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186877</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/186877
-
dc.description
Enth. Originalbeitr. u. 5 Veröffentl.
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Beweistheorie
de
dc.subject
Mathematische Logik
de
dc.subject
Resolution
de
dc.subject
Entscheidungsverfahren
de
dc.subject
Aufsatzsammlung
de
dc.subject
Automatisches Beweisverfahren
de
dc.title
Using resolution as decision procedure
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
AC05334924
-
dc.description.numberOfPages
143
-
dc.thesistype
Habilitationsschrift
de
dc.thesistype
Professorial Dissertation
en
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
TU Wien
-
Appears in Collections:
Thesis
Show simple item record

Page view(s)

54
checked on Dec 1, 2023

Google ScholarTM

Check