خرید و دانلود نسخه کامل کتاب Isabelle/HOL: A Proof Assistant for Higher-Order Logic

ایزابل / هول: معاون اثبات منطق مرتبه بالاتر

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

نویسنده: Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

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

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