rekursive

منطق و ماشین ها: مسائل تصمیم گیری و پیچیدگی: مجموعه مقالات سمپوزیوم “ترکیب های بازگشتی” که از 23 تا 28 می 1983 در موسسه منطق ریاضی و تحقیقات پایه در دانشگاه مونستر/وستفالن برگزار شد.

دانلود کتاب 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 (به فارسی: منطق و ماشین ها: مسائل تصمیم گیری و پیچیدگی: مجموعه مقالات سمپوزیوم “ترکیب های بازگشتی” که از 23 تا 28 می 1983 در موسسه منطق ریاضی و تحقیقات پایه در دانشگاه مونستر/وستفالن برگزار شد.) نوشته شده توسط «Klaus Ambos-Spies (auth.) – E. Börger – G. Hasenjaeger – D. Rödding (eds.)» اطلاعات کتاب منطق و ماشین ها: مسائل تصمیم گیری و پیچیدگی: مجموعه مقالات سمپوزیوم “ترکیب…