خرید و دانلود نسخه کامل کتاب Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

استدلال خودکار در منطق مرتبه بالاتر: مجموعه درک و توسعه در نظریه نوع کلیسا

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

نویسنده: C. E. Brown

ناشر: College Publications

سال انتشار: 2007

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

زبان: English

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

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