-
1كتاب إلكتروني
المؤلفون: Regan, Kenneth W.Aff1
المساهمون: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Börger, E., editor, Hasenjaeger, G., editor, Rödding, D., editor
المصدر: 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 Universität Münster/Westfalen. 171:118-130