
Logic and Machines: Decision Problems and Complexity
- Undertitel
- Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
- Redaktör
- E. Börger, G. Hasenjaeger, D. Rödding
- Upplaga
- Softcover reprint of the original 1st ed. 1984
- ISBN
- 9783540133315
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1984-05-01
- Sidor
- 460
