خرید و دانلود نسخه کامل کتاب Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]

جستجوی خودکار اثبات در منطق های غیر کلاسیک: روش های اثبات ماتریسی کارآمد برای منطق های معین و شهودی [پایان نامه دکتری]

Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics [PhD Thesis]

نویسنده: Lincoln A. Wallen

ناشر: The MIT Press

سال انتشار: 1990

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

زبان: English

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

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