تسجيل الدخول
الحقول المخفية
بحث متقدم في الكتب
الكتب
الكتب
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
- 2014 -
عدد الصفحات: 226
لا تتوفر معاينة
-
لمحة عن هذا الكتاب
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
- 2002 -
عدد الصفحات: 244
لا تتوفر معاينة
-
لمحة عن هذا الكتاب
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
- 2002 -
عدد الصفحات: 0
لا تتوفر معاينة
-
لمحة عن هذا الكتاب
بحث متقدم في الكتب
مكتبتي
مساعدة
بحث متقدم في الكتب