خرید و دانلود نسخه کامل کتاب A Course on Mathematical Logic
قیمت اصلی 135,000 تومان بود.104,000 تومانقیمت فعلی 104,000 تومان است.
خرید و دانلود نسخه کامل کتاب An Essay in Classical Modal Logic
قیمت اصلی 119,000 تومان بود.88,000 تومانقیمت فعلی 88,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
-23%
خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
قیمت اصلی 133,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
تعداد فروش: 44
| عنوان فارسی |
قضیه اثبات در منطق مرتبه بالاتر: هجدهمین کنفرانس بین المللی ، TPHOLs 2005 ، آکسفورد ، انگلستان ، 22-25 اوت 2005. مجموعه مقالات |
|---|---|
| عنوان اصلی | Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.) |
| ISBN | 3540283722, 9783540283720 |
| سال نشر | 2005 |
| زبان | English |
| تعداد صفحات | 417 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
1
آیتم آخرین فروخته شده 55 دقیقه
3
افرادی که اکنون این محصول را تماشا می کنند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.