عنوان

Komplexitaẗ von Entscheidungsproblemen :

شابک

3540078053

شابک

3540382127

شابک

9783540078050

شابک

9783540382126

شماره

b565850

عنوان اصلي

Komplexitaẗ von Entscheidungsproblemen :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Ein Seminar

نام نخستين پديدآور

by E. Specker, V. Strassen.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1976

نام خاص و کميت اثر

: v.: digital

عنوان فروست

Lecture notes in computer science, 43.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by E. Specker, V. Strassen.

مستند نام اشخاص تاييد نشده

Ernst Specker

مستند نام اشخاص تاييد نشده

V Strassen

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y