خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152)

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

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152)

نویسنده: Richard J. Boulton (editor), Paul B. Jackson (editor)

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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