خرید و دانلود نسخه کامل کتاب Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings
قیمت اصلی 63,500 تومان بود.26,000 تومانقیمت فعلی 26,000 تومان است.
تعداد فروش: 74
| عنوان فارسی | Deduction Automated — CADE-18: هجدهمین کنفرانس بین المللی کپنهاگ ، Deduction اتوماتیک ، دانمارک ، 27 تا 30 ژوئیه ، 2002 مقالات |
|---|---|
| عنوان اصلی | Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Ian Horrocks (auth.), Andrei Voronkov (eds.) |
| ISBN | 3540439315, 9783540439318 |
| سال نشر | 2002 |
| زبان | English |
| تعداد صفحات | 544 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
اولین CADE در هزاره سوم این جلد شامل مقالات ارائه شده در هجدهمین کنفرانس بین المللی C در مورد کسر خودکار (CADE-18) است که در 27 تا 30 ژوئیه 2002 در دانشگاه کپنهاگ به عنوان بخشی از فدرال برگزار شد. کنفرانس منطق (FLoC 2002). با وجود تعداد زیادی از کنفرانسهای مربوط به کسر در پایان هزاره گذشته، کنفرانسهای CADE همچنان کانون اصلی ارائه تحقیقات جدید در تمام جنبههای کسر خودکار هستند. CADE-18 توسط انجمن استدلال خودکار، CADE Inc.، دپارتمان علوم کامپیوتر در دانشگاه چالمرز، Gesellschaft fur ¨ Informatik، Safelogic AB، و دانشگاه Koblenz-Landau حمایت مالی شد. 70 مقاله ارسالی شامل 60 مقاله معمولی و 10 نسخه سیستمی ارسال شد. هر ارسالی حداقل توسط اعضای کمیته برنامه بررسی شد و جلسه کمیته برنامه الکترونیکی از طریق اینترنت برگزار شد. کمیته تصمیم گرفت 27 مقاله معمولی و 9 توصیف سیستم را بپذیرد. یک مقاله پس از داوری دسته بندی خود را تغییر داد، بنابراین تعداد کل توضیحات سیستم در این جلد 10 است. علاوه بر مقالات داوری، این جلد شامل یک چکیده گسترده از سخنرانی دعوت شده CADE توسط Ian Horrocks، گفتگوی مشترک دعوت شده CADE/CAV است. توسط Sharad Malik، و سخنرانی مشترک CADE-TABLEAUX دعوت شده توسط Matthias Baaz. یک سخنرانی دعوت شده دیگر توسط دانیل جکسون ارائه شد.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.