فضا در سیستم های اثبات ضعیف پیشنهادی
Space in Weak Propositional Proof Systems
نویسنده: Ilario Bonacina (auth.)
ناشر: Springer International Publishing
سال انتشار: 2017
تعداد صفحات: 137
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت