Borger, E. 1., Hasenjaeger, G., & Rodding, D. 1. (1984). 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 Münster/Westfalen. Berlín: Springer.
Chicago Style CitationBorger, Egon 1946-, Gisbert Hasenjaeger, and Dieter 1937- Rodding. 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 Münster/Westfalen. Berlín: Springer, 1984.
MLA CitationBorger, Egon 1946-, Gisbert Hasenjaeger, and Dieter 1937- Rodding. 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 Münster/Westfalen. Berlín: Springer, 1984.