دانلود کتاب Generic Inference: A Unifying Theory for Automated Reasoning
کتاب استنتاج عمومی: یک نظریه متحد کننده برای استدلال خودکار نسخه زبان اصلی
دانلود کتاب استنتاج عمومی: یک نظریه متحد کننده برای استدلال خودکار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Generic Inference: A Unifying Theory for Automated Reasoning
نام کتاب : Generic Inference: A Unifying Theory for Automated Reasoning
عنوان ترجمه شده به فارسی : استنتاج عمومی: یک نظریه متحد کننده برای استدلال خودکار
سری :
نویسندگان : Marc Pouly, Juerg Kohlas
ناشر : Wiley
سال نشر : 2011
تعداد صفحات : 471
ISBN (شابک) : 9780470527016
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 20 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب یک مطالعه جبری دقیق از رایج‌ترین فرمالیسم‌های استنتاج با تمرکز ویژه بر حوزه کاربرد وسیع آنها ارائه می‌کند و نشان می‌دهد که همه این وظایف را می‌توان با یک الگوریتم استنتاج عمومی انجام داد. نوشته شده توسط مرجع بین المللی برجسته در مورد این موضوع، شامل یک دیدگاه جبری (مطالعه چارچوب جبر ارزش گذاری)، یک دیدگاه الگوریتمی (مطالعه طرح های استنتاج عمومی) و یک
توضیحاتی در مورد کتاب به زبان اصلی :
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).
پست ها تصادفی