Komplexitt ̃Von Entscheidungsproblemen

Resource Information

The instance Komplexitt ̃Von Entscheidungsproblemen represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540078050&Type=L

Label

Komplexitt ̃Von Entscheidungsproblemen

Instantiates

• Komplexitt ̃Von Entscheidungsproblemen

Publication

• New York, Springer, Oct. 2007

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

Record ID

.b135765742

Specific material designation

remote

System control number

(OCoLC)466129356