خرید و دانلود نسخه کامل کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
قیمت اصلی 175,000 تومان بود.100,000 تومانقیمت فعلی 100,000 تومان است.
تعداد فروش: 76
| عنوان فارسی |
استدلال خودکار: دومین کنفرانس بین المللی مشترک ، IJCAR 2004 ، کورک ، ایرلند ، 4-8 ژوئیه ، 2004. مجموعه مقالات |
|---|---|
| عنوان اصلی | Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.) |
| ISBN | 9783540223450, 3540259848 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 509 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 9 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این جلد مجموعه مقالات دومین کنفرانس بین المللی مشترک بین المللی در مورد استدلال خودکار (IJCAR 2004) است که در 4 تا 8 ژوئیه 2004 در کورک، ایرلند برگزار شد. IJCAR 2004 سنت ایجاد شده در اولین IJCAR در سیهنا، ایتالیا در سال 2001 را ادامه داد، که جوامع تحقیقاتی را در زمینه استدلال خودکار گرد هم آورد. IJCAR کنونی تلفیقی از کنفرانسهای زیر است: CADE: کنفرانس بینالمللی کسر خودکار، CALCULEMUS: سمپوزیوم در مورد ادغام محاسبات نمادین و استدلال مکانیزه، FroCoS: کارگاه آموزشی مرزهای سیستمهای ترکیبی، FTP: کارگاه بینالمللی اولین- اثبات قضیه ترتیب، و TABLEAUX: کنفرانس بین المللی استدلال خودکار با جدول های تحلیلی و روش های مرتبط. 74 مقاله تحقیقاتی به IJCAR و همچنین 12 شرح سیستم ارسال شد. پس از بررسی های گسترده، 26 مقاله پژوهشی و 6 مقاله سیستمی برای ارائه در کنفرانس و انتشار در این جلد پذیرفته شد. علاوه بر این، این جلد شامل مقالاتی از سه سخنران دعوت شده و شرح مسابقه سیستم CADE ATP است. مایلیم از حجم عظیم کاری که توسط اعضای کمیته برنامه، کمیته های مختلف سازماندهی و راهبری، مقامات IJCAR، سخنرانان دعوت شده و داوران اضافی که در صفحات بعدی نام برده شده اند، قدردانی کنیم. ما همچنین میخواهیم از آخیم بروکر و باربارا گیزر برای کمکشان در تولید این جلد تشکر کنیم.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.