Komplexität von Entscheidungsproblemen: Ein Seminar (Lecture Notes in Computer Science) (German Edition). Questo articolo non è disponibile.
Lingua: tedesco
Editore: Springer, 1976
- Brossura
- Usato

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Venditore con 5 stelle
Venditore AbeBooks dal 1 febbraio 2007
Non disponibile
Brossura
Condizione: Usato - Molto buono
EUR 7,85
Descrizione dell’articolo da parte del venditore
Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
Codice articolo UTD1520388
- Titolo
- Komplexität von Entscheidungsproblemen: Ein Seminar (Lecture Notes in Computer Science) (German Edition)
- Autore
- Specker, E. [Editor]; Strassen, V. [Editor];
- Editore
- Springer
- Anno di pubblicazione
- 1976
- Condizione
- Very Good
- Rilegatura
- Paperback
- Lingua
- tedesco
- ISBN 10
- 3540078053
- ISBN 13
- 9783540078050
- Peso dell'articolo
- 25 once
- Dimensioni
- 6x0x9
Contenuti
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.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Komplexität von Entscheidungsproblemen: Ein Seminar (Lecture Notes in Computer Science) (German Edition)
Ci sono altre 1 copie di questo libroVisualizza tutti i risultati