خرید و دانلود نسخه کامل کتاب Automated deduction in multiple-valued logics

کسر خودکار در منطقهای چندگانه

Automated deduction in multiple-valued logics

نویسنده: Reiner Hähnle

ناشر: Clarendon Press; Oxford University Press

سال انتشار: 1993

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

زبان: English

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

حجم فایل: 816 کیلوبایت