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 Frundlagenforschung der UniversitÌat Münster/Westfalen/
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 Frundlagenforschung der UniversitÌat Münster/Westfalen/
edited by E. Börger, G. Hasenjaeger, and D. Rödding.
- Berlin ; New York: Springer-Verlag, 1984.
- vi, 456 p.: ill.; 25 cm.
- Lecture notes in computer science, 171. .
Includes bibliographies.
0387133313 (U.S. : pbk.)
84005546
Machine theory---Congresses.
Computational complexity---Congresses.
Decision-making---Congresses.
511
Includes bibliographies.
0387133313 (U.S. : pbk.)
84005546
Machine theory---Congresses.
Computational complexity---Congresses.
Decision-making---Congresses.
511