تسجيل الدخول
الحقول المخفية
كتب
مكتبتي
مساعدة
بحث متقدم في الكتب
كتاب إلكتروني من 18.27 US$
الحصول على نسخة مطبوعة من هذا الكتاب
Springer Shop
البحث في مكتبة
كافة البائعين
»
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
من تأليف
Tobias Nipkow
،
Lawrence C. Paulson
،
Markus Wenzel
لمحة عن هذا الكتاب
بنود الخدمة
يتم عرض الصفحات بإذن من
Springer
..
حقوق النشر
.
الغلاف الأمامي