خرید و دانلود نسخه کامل کتاب Automated deduction in classical and non-classical logics: selected papers

کسر خودکار در منطق های کلاسیک و غیر کلاسیک: مقالات انتخاب شده

Automated deduction in classical and non-classical logics: selected papers

نویسنده: Ricardo Caferra, Gernot Salzer

ناشر: Springer

سال انتشار: 2000

تعداد صفحات: 308

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت