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

Corporate Authors: Symposium "Rekursive Kombinatorik" (1983 Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
Group Author: Börger E.; (Egon), 1946-; Hasenjaeger G.; (Gisbert), 1919-; Rödding D.; (Dieter), 1937-
Published: Springer-Verlag,
Publication Dates: 1984.
Call Number: O141-53/S989.1/1983/