دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Generic Inference: A Unifying Theory for Automated Reasoning
دانلود کتاب استنتاج عمومی: یک تئوری واحد برای استدلال خودکار
مشخصات کتاب
Generic Inference: A Unifying Theory for Automated Reasoning
ویرایش:
نویسندگان: Marc Pouly. Juerg Kohlas
سری:
ISBN (شابک) : 9780470527016
ناشر: Wiley
سال نشر: 2011
تعداد صفحات: 471
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 20 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Generic Inference: A Unifying Theory for Automated Reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استنتاج عمومی: یک تئوری واحد برای استدلال خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استنتاج عمومی: یک تئوری واحد برای استدلال خودکار
این کتاب یک مطالعه جبری دقیق از رایج‌ترین فرمالیسم‌های استنتاج را با تمرکز ویژه بر حوزه کاربرد گسترده آنها ارائه می‌کند و نشان می‌دهد که همه این وظایف را می‌توان توسط یک الگوریتم استنتاج عمومی واحد انجام داد. نوشته شده توسط مرجع بین المللی پیشرو در مورد این موضوع، شامل یک دیدگاه جبری (مطالعه چارچوب جبر ارزش گذاری)، یک دیدگاه الگوریتمی (مطالعه طرح های استنتاج عمومی) و یک دیدگاه "عملی" (فرم گرایی ها و کاربردها) است.
توضیحاتی درمورد کتاب به خارجی
This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications).
