اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
قیمت اصلی 147,000 تومان بود.72,000 تومانقیمت فعلی 72,000 تومان است.
![خرید و دانلود نسخه کامل کتاب Biomass for energy, industry and environment: 6th EC conference; [proceedings of the International Conference on Biomass for Energy, Industry and Environment held in Athens, Greece, 22 – 26 April 1991]](https://elifile.ir/wp-content/uploads/2025/09/d8aed8b1db8cd8af-d988-d8afd8a7d986d984d988d8af-d986d8b3d8aed987-daa9d8a7d985d984-daa9d8aad8a7d8a8-biomass-for-energy-industry-and-environment-6th-ec-con_68cec9575326d-150x150.jpeg)
خرید و دانلود نسخه کامل کتاب Biomass for energy, industry and environment: 6th EC conference; [proceedings of the International Conference on Biomass for Energy, Industry and Environment held in Athens, Greece, 22 - 26 April 1991]
قیمت اصلی 173,000 تومان بود.98,000 تومانقیمت فعلی 98,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
07ساعت
38دقیقه
24ثانیه
-52%
خرید و دانلود نسخه کامل کتاب Logic Programming and Automated Reasoning: International Conference LPAR ’92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
قیمت اصلی 145,000 تومان بود.70,000 تومانقیمت فعلی 70,000 تومان است.
تعداد فروش: 75
| عنوان فارسی |
برنامه نویسی منطقی و استدلال خودکار: کنفرانس بین المللی LPAR ’92 سن پترزبورگ ، روسیه ، 15-20 ژوئیه 1992 مجموعه مقالات |
|---|---|
| عنوان اصلی | Logic Programming and Automated Reasoning: International Conference LPAR ’92 St. Petersburg, Russia, July 15–20, 1992 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.) |
| ISBN | 354055727X, 9783540557272 |
| سال نشر | 1992 |
| زبان | English |
| تعداد صفحات | 523 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این جلد شامل مجموعه مقالات LPAR ’92، کنفرانس بین المللی برنامه نویسی منطقی و استدلال خودکار است که در سن پترزبورگ در ژوئیه 1992 برگزار شد. هدف این کنفرانس گرد هم آوردن محققان از روسیه و برنامه نویسی منطق بین المللی و جوامع اثبات کننده قضیه موضوعات مورد علاقه تحت پوشش مقالات در این جلد شامل اثبات قضیه خودکار، استدلال غیر یکنواخت، کاربردهای منطق ریاضی در علوم کامپیوتر، پایگاههای داده قیاسی، پیادهسازی مفاهیم اعلامی و برنامهنویسی در منطقهای غیر کلاسیک است. LPAR ’92 جانشین اولین و دومین کنفرانس روسیه در زمینه برنامه ریزی منطقی است که به ترتیب در سال های 1990 و 1991 برگزار شد و مجموعه مقالات آن در LNAI Vol. 592.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.