ماشین های تورینگ و منطق خطی دیفرانسیل [پایان نامه]
Turing Machines and Differential Linear Logic [thesis]
نویسنده: James Clift
ناشر: University of Melbourne
سال انتشار: 2017
تعداد صفحات: 65
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 515 کیلوبایت