خرید و دانلود نسخه کامل کتاب Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

آنتونی رابینز میگه : من در 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. یک سخنرانی دعوت شده دیگر توسط دانیل جکسون ارائه شد.