Enumerability, decidability, computability: an introduction to the theory of recursive functions

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Hermes, Hans (مؤلف)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Berlín Springer-Verlag 1969
الموضوعات:
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!