الگوریتمهایی برای ساخت مجموعههای قابل محاسبه قابل شمارش (مبانی علوم کامپیوتر و منطق کاربردی)
Algorithms for Constructing Computably Enumerable Sets (Computer Science Foundations and Applied Logic)
نویسنده: Kenneth J. Supowit
ناشر: Birkhäuser
سال انتشار: 2023
تعداد صفحات: 191
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت