دانلود کتاب Automated deduction in classical and non-classical logics: selected papers

Name: Automated deduction in classical and non-classical logics: selected papers
Availability: InStock
Author: Ricardo Caferra
ISBN: 3540671900, 9783540671909

by Ricardo Caferra

عنوان فارسی: کسر خودکار در منطق کلاسیک و غیر کلاسیک: مقالات انتخاب شده
ناشر: Springer
سال: 2000
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 308-308
شابک: 3540671900, 9783540671909
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 2.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories. Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the area; most of the results presented rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!