Logic and machines
Subtitle: decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen
By: edited by E. Börger, G. Hasenjaeger, and D. Rödding.
Contributors: Börger, E. 1946-; Hasenjaeger, G. 1919-; Rödding, D. 1937-
Series: Lecture notes in computer science ;; 171
Publisher: Springer-Verlag
Published: 1984
Place of publication: Berlin; New York
Language: eng
Number of pages: 456
Subjects: Machine theory -- Congresses.; Computational complexity -- Congresses.; Decision making -- Congresses.
Notes: Includes bibliographies.