اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Networking - ICN 2005: 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I
قیمت اصلی 151,000 تومان بود.76,000 تومانقیمت فعلی 76,000 تومان است.
خرید و دانلود نسخه کامل کتاب Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
قیمت اصلی 149,000 تومان بود.74,000 تومانقیمت فعلی 74,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
02ساعت
09دقیقه
34ثانیه
-48%
خرید و دانلود نسخه کامل کتاب Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG ’93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
قیمت اصلی 155,000 تومان بود.80,000 تومانقیمت فعلی 80,000 تومان است.
تعداد فروش: 48
| عنوان فارسی |
قضیه منطق مرتبه بالاتر و کاربردهای آن: ششمین کارگاه بین المللی ، Hug ’93 ونکوور ، B. C. ، کانادا ، 11-13 اوت 1993 مجموعه مقالات |
|---|---|
| عنوان اصلی | Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG ’93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Flemming Andersen, Kim Dam Petersen (auth.), Jeffrey J. Joyce, Carl-Johan H. Seger (eds.) |
| ISBN | 3540578269, 9783540578260 |
| سال نشر | 1994 |
| زبان | English |
| تعداد صفحات | 528 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این جلد، مجموعه مقالات داوری کارگاه گروهی کاربران منطق بالاتر در سال 1993 است که در دانشگاه بریتیش کلمبیا در آگوست 1993 برگزار شد. این کارگاه توسط مرکز تحقیقات سیستم های کامپیوتری یکپارچه حمایت مالی شد. این ششمین کارگاه از سری کارگاه های بین المللی سالانه بود که به موضوع اثبات قضیه منطق مرتبه بالاتر، استفاده از آن در سیستم HOL و کاربردهای آن اختصاص داشت. این جلد شامل 40 مقاله، از جمله مقاله دعوت شده توسط دیوید پارناس، دانشگاه مک مستر، کانادا، با عنوان “برخی قضایا که باید اثبات کنیم” است.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.