خرید و دانلود نسخه کامل کتاب The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
قیمت اصلی 43,500 تومان بود.28,000 تومانقیمت فعلی 28,000 تومان است.
خرید و دانلود نسخه کامل کتاب Complete Theories
قیمت اصلی 47,500 تومان بود.32,000 تومانقیمت فعلی 32,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
20ساعت
18دقیقه
20ثانیه
-22%
خرید و دانلود نسخه کامل کتاب Computation and Reasoning: A Type Theory for Computer Science
قیمت اصلی 69,500 تومان بود.54,000 تومانقیمت فعلی 54,000 تومان است.
تعداد فروش: 54
| عنوان فارسی |
محاسبه و استدلال: نظریه نوعی برای علوم کامپیوتر |
|---|---|
| عنوان اصلی | Computation and Reasoning: A Type Theory for Computer Science |
| ناشر | Oxford University Press, USA |
| نویسنده | Zhaohui Luo |
| ISBN | 9780198538356, 0198538359 |
| سال نشر | 1994 |
| زبان | English |
| تعداد صفحات | 240 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 10 مگابایت |
2
آیتم فروخته شده در 30 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.