قابل شمارش · محاسبه پذیری قابلیت تصمیم گیری: مقدمه ای بر نظریه توابع بازگشتی
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions
نویسنده: Prof. Dr. Hans Hermes (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1969
تعداد صفحات: 259
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 12 مگابایت