خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

قضیه اثبات در منطق مرتبه بالاتر: چهاردهمین کنفرانس بین المللی ، TPHOLs 2001 ادینبورگ ، اسکاتلند ، انگلیس ، 3-6 سپتامبر 2001 مجموعه مقالات

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

نویسنده: Bart Jacobs (auth.), Richard J. Boulton, Paul B. Jackson (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2001

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

زبان: English

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

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