دانلود کتاب Automated Reasoning
49,000 تومان
استدلال خودکار
| نوع کالا | کتاب الکترونیکی |
|---|---|
| تعداد صفحه | 509 |
| حجم فایل | 12 مگابایت |
| کد کتاب | 3540259848 |
| نویسنده | Basin D.(Ed), Rusinowitch M. (Ed) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2004 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
استدلال خودکار
این کتاب مجموعه مقالات داوری دومین کنفرانس مشترک بین المللی در مورد استدلال خودکار، IJCAR 2004، که در کورک، ایرلند، در ژوئیه 2004 برگزار شد، تشکیل شده است. و 6 نمایش سیستم اصلاح شده ارائه شده همراه با 3 مقاله دعوت شده و خلاصه ای از یک مسابقه سیستمی به دقت بررسی و از مجموع 86 مورد ارسالی انتخاب شدند. مقالات در بخشهای موضوعی بازنویسی، اثبات قضیه مبتنی بر اشباع، تکنیکهای ترکیبی، تأیید و سیستمها، استدلال با ساختار محدود، جدولها و منطقهای غیر کلاسیک، برنامهها و سیستمها، ریاضیات رایانه، اثبات قضیه تعاملی، استدلال ترکیبی و استدلال مرتبه بالاتر
Automated Reasoning
This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, , FroCoS, FTP, and TABLEAUX.The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.