Show simple item record

dc.contributor.author
Lieberherr, Karl
dc.contributor.supervisor
Engeler, Erwin
dc.contributor.supervisor
Specker, Ernst P.
dc.date.accessioned
2017-06-12T22:47:32Z
dc.date.available
2017-06-12T22:47:32Z
dc.date.issued
1977
dc.identifier.uri
http://hdl.handle.net/20.500.11850/135374
dc.identifier.doi
10.3929/ethz-a-000104618
dc.language.iso
de
dc.publisher
ETH Zürich
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
AUSSAGENLOGIK (MATHEMATISCHE LOGIK)
dc.subject
ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)
dc.subject
ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
dc.subject
PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC)
dc.subject
DECISION PROBLEMS (MATHEMATICAL LOGIC)
dc.subject
ALGORITHMIC COMPLEXITY (MATHEMATICS)
dc.title
Informationsverdichtung von Modellen in der Aussagenlogik und das P-NP-Problem
dc.type
Doctoral Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.size
145 S.
ethz.notes
Diss. Math. ETH Zürich, Nr. 5941, 0000. Ref.: Engeler, E. ; Korref.: Specker, E..
ethz.identifier.diss
5941
ethz.identifier.nebis
000104618
ethz.publication.place
Zürich
ethz.publication.status
published
ethz.date.deposited
2017-06-12T22:47:59Z
ethz.source
ECOL
ethz.identifier.importid
imp593669729d5e755118
ethz.ecolpid
eth:30675
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-18T22:50:23Z
ethz.rosetta.lastUpdated
2018-11-03T09:04:09Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Informationsverdichtung%20von%20Modellen%20in%20der%20Aussagenlogik%20und%20das%20P-NP-Problem&rft.date=1977&rft.au=Lieberherr,%20Karl&rft.genre=unknown&rft.btitle=Informationsverdichtung%20von%20Modellen%20in%20der%20Aussagenlogik%20und%20das%20P-NP-Problem
 Search via SFX

Files in this item

Thumbnail
Thumbnail

Publication type

Show simple item record