اگه کتاب خاصی میخواید کلیک کنید >
![خرید و دانلود نسخه کامل کتاب 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-150x150.jpeg)
خرید و دانلود نسخه کامل کتاب The Proof Theory and Semantics of Intuitionistic Modal Logic [PhD Thesis]
قیمت اصلی 139,000 تومان بود.108,000 تومانقیمت فعلی 108,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-150x150.jpeg)
خرید و دانلود نسخه کامل کتاب The Temporal Mind: Observations on the logic of belief change in interactive systems [PhD Thesis]
قیمت اصلی 129,000 تومان بود.98,000 تومانقیمت فعلی 98,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
21ساعت
36دقیقه
07ثانیه
-22%
خرید و دانلود نسخه کامل کتاب Computation and reasoning. A type theory for computer science
قیمت اصلی 139,000 تومان بود.108,000 تومانقیمت فعلی 108,000 تومان است.
تعداد فروش: 56
| عنوان فارسی |
محاسبه و استدلال. یک تئوری نوع برای علوم کامپیوتر |
|---|---|
| عنوان اصلی | Computation and reasoning. A type theory for computer science |
| ناشر | OUP |
| نویسنده | Zhaohui Luo |
| ISBN | 0198538359 |
| سال نشر | 1994 |
| زبان | English |
| تعداد صفحات | 240 |
| دسته | منطق |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.