دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Basin D.(Ed), Rusinowitch M. (Ed) سری: ISBN (شابک) : 3540259848 ناشر: سال نشر: 2004 تعداد صفحات: 509 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 Mb
در صورت تبدیل فایل کتاب Automated Reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دومین کنفرانس مشترک بین المللی در مورد استدلال خودکار، IJCAR 2004، که در کورک، ایرلند، در ژوئیه 2004 برگزار شد، تشکیل شده است. و 6 نمایش سیستم اصلاح شده ارائه شده همراه با 3 مقاله دعوت شده و خلاصه ای از یک مسابقه سیستمی به دقت بررسی و از مجموع 86 مورد ارسالی انتخاب شدند. مقالات در بخشهای موضوعی بازنویسی، اثبات قضیه مبتنی بر اشباع، تکنیکهای ترکیبی، تأیید و سیستمها، استدلال با ساختار محدود، جدولها و منطقهای غیر کلاسیک، برنامهها و سیستمها، ریاضیات رایانه، اثبات قضیه تعاملی، استدلال ترکیبی و استدلال مرتبه بالاتر
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.