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