Coverart for item
The Resource Komplexitt ̃Von Entscheidungsproblemen

Komplexitt ̃Von Entscheidungsproblemen

Label
Komplexitt ̃Von Entscheidungsproblemen
Title
Komplexitt ̃Von Entscheidungsproblemen
Creator
Contributor
Editor
Editor
Subject
Language
ger
Member of
Cataloging source
COO
http://library.link/vocab/creatorName
Specker, E
Dewey number
004.0151
Index
no index present
LC call number
  • QA75.5-76.95
  • QA9.65
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Strassen, V.
Series statement
Lecture Notes in Computer Science Ser
http://library.link/vocab/subjectName
  • Computer science
  • Computers
  • Computer Science
  • Theory of Computation
  • Computer Science, general
  • Computer science
  • Computers
Label
Komplexitt ̃Von Entscheidungsproblemen
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion -- II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems -- III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind -- IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben -- V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme -- VI. Polynomiale Transformationen und Auswahlaxiom -- VII. Spektralproblem und Komplexitätstheorie -- VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme -- IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper -- X. Simulation von Turingmaschinen mit logischen Netzen -- XI. Längen von Formeln
Control code
466129356
Dimensions
unknown
Extent
1 online resource (224 pages).
Form of item
online
Isbn
9783540078050
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
http://library.link/vocab/ext/overdrive/overdriveId
3540078053
Specific material designation
remote
System control number
(OCoLC)466129356
Label
Komplexitt ̃Von Entscheidungsproblemen
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion -- II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems -- III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind -- IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben -- V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme -- VI. Polynomiale Transformationen und Auswahlaxiom -- VII. Spektralproblem und Komplexitätstheorie -- VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme -- IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper -- X. Simulation von Turingmaschinen mit logischen Netzen -- XI. Längen von Formeln
Control code
466129356
Dimensions
unknown
Extent
1 online resource (224 pages).
Form of item
online
Isbn
9783540078050
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
http://library.link/vocab/ext/overdrive/overdriveId
3540078053
Specific material designation
remote
System control number
(OCoLC)466129356

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...