خرید و دانلود نسخه کامل کتاب Fibring Logics
قیمت اصلی 59,500 تومان بود.44,000 تومانقیمت فعلی 44,000 تومان است.
خرید و دانلود نسخه کامل کتاب Computability Theory, Semantics, and Logic Programming
قیمت اصلی 58,500 تومان بود.43,000 تومانقیمت فعلی 43,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
17ساعت
34دقیقه
33ثانیه
-28%
خرید و دانلود نسخه کامل کتاب First-Order Logic and Automated Theorem Proving
قیمت اصلی 54,500 تومان بود.39,000 تومانقیمت فعلی 39,000 تومان است.
تعداد فروش: 68
| عنوان فارسی |
منطق مرتبه اول و اثبات قضیه خودکار |
|---|---|
| عنوان اصلی | First-Order Logic and Automated Theorem Proving |
| ویرایش | 1st |
| ناشر | Springer |
| نویسنده | Melvin Fitting |
| ISBN | 9783540972334, 3540972331 |
| سال نشر | 1990 |
| زبان | English |
| تعداد صفحات | 262 |
| دسته | منطق |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
2
آیتم فروخته شده در 30 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.