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ät Münster/Westfalen

Shelfclass_id 3.A
Sortkey BÖRGER, E
Authors E. Börger, G. Hasenjaeger, D. Rödding
Title 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ät Münster/Westfalen
Publisher Springer Pub. Co.
Year 1984
Languages eng
Isbn 0387133313
Series Lecture Notes in Computer Science
Volume 171
Issn 0302-9743
Description (U.S.: pbk.) vi, 456 p. ill. 25 cm.
Record date 20061213
Location New York
Keywords Machine theory, Computational complexity, Decision making
Notes Borger, E., Rodding, D.