TY  - BOOK
AU  - Specker,Ernst
AU  - Strassen,Volker
TI  - Komplexität von Entscheidungsproblemen: ein Seminar
T2  - Lecture notes in computer science
SN  - 3540078053
AV  - QA9.65 
U1  - 621.3819/594/01511 
PY  - 1976///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Gödel's theorem
KW  - Congresses
KW  - Computational complexity
KW  - Turing machines
KW  - Goedel's theorem
KW  - Datenverarbeitung
KW  - Entscheidung <Math.>
KW  - Komplexität <Kybern.>
KW  - Entscheidbarkeit
KW  - Entscheidungsproblem
KW  - Gödelscher Unvollständigkeitssatz
KW  - Komplexität
KW  - Mathematik
KW  - Turing-Maschine
KW  - Konferenzschrift
KW  - gnd-content
KW  - Aufsatzsammlung
KW  - 1973
KW  - Zürich
N1  - Auf d. Rücken: Specker-Strassen. - Literaturangaben
UR  - http://www.gbv.de/dms/hbz/toc/ht000917890.pdf
ER  -