![خرید و دانلود نسخه کامل کتاب The Proof Theory and Semantics of Intuitionistic Modal Logic [PhD Thesis]](https://elifile.ir/wp-content/uploads/2025/08/d8aed8b1db8cd8af-d988-d8afd8a7d986d984d988d8af-d986d8b3d8aed987-daa9d8a7d985d984-daa9d8aad8a7d8a8-the-proof-theory-and-semantics-of-intuitionistic-modal-l_68aeda9e3b610-354x400.jpeg)
خرید و دانلود نسخه کامل کتاب The Proof Theory and Semantics of Intuitionistic Modal Logic [PhD Thesis]
قیمت اصلی 69,500 تومان بود.54,000 تومانقیمت فعلی 54,000 تومان است.
![خرید و دانلود نسخه کامل کتاب The Temporal Mind: Observations on the logic of belief change in interactive systems [PhD Thesis]](https://elifile.ir/wp-content/uploads/2025/08/d8aed8b1db8cd8af-d988-d8afd8a7d986d984d988d8af-d986d8b3d8aed987-daa9d8a7d985d984-daa9d8aad8a7d8a8-the-temporal-mind-observations-on-the-logic-of-belief-c_68aedb4fb02cb-353x400.jpeg)
خرید و دانلود نسخه کامل کتاب The Temporal Mind: Observations on the logic of belief change in interactive systems [PhD Thesis]
قیمت اصلی 64,500 تومان بود.49,000 تومانقیمت فعلی 49,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
01ساعت
23دقیقه
58ثانیه
-22%
خرید و دانلود نسخه کامل کتاب Computation and reasoning. A type theory for computer science
قیمت اصلی 69,500 تومان بود.54,000 تومانقیمت فعلی 54,000 تومان است.
تعداد فروش: 56
| عنوان فارسی |
محاسبه و استدلال. یک تئوری نوع برای علوم کامپیوتر |
|---|---|
| عنوان اصلی | Computation and reasoning. A type theory for computer science |
| ناشر | OUP |
| نویسنده | Zhaohui Luo |
| ISBN | 0198538359 |
| سال نشر | 1994 |
| زبان | English |
| تعداد صفحات | 240 |
| دسته | منطق |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
1
آیتم فروخته شده در 30 دقیقه
4
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.