TY  - BOOK
AU  - Borger,E.
AU  - Hasenjaeger,G.
ED  - Symposium "Rekursive Kombinatorik"
TI  - Logic and machines: decision problems and complexity: proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Munster / Westfalen 
AV  - QA267 S98 1983
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
KW  - Machine theory
KW  - Congresses
KW  - Decision-making
KW  - Computational complexity
ER  -