Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Name: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Price: 407.85 ILS
Availability: InStock

معرّف المنتج: 352183423

معاملة آمنة

يُشترى معًا بشكل متكرر

الوصف

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

الأسئلة الشائعة

ترست بايلوت

الثقة 4.5 | 7300+ مراجعات

زينب ن.

خدمة رائعة جدًا. كان الشحن أسرع من المتوقع.

منذ أسبوع

علي ح.

شحن سريع وتغليف ممتاز. أداة ليثيرمان تبدو فاخرة ومتينة للغاية.

منذ يوم واحد

عرض جميع مراجعات ترست بايلوت

تسوّق عالميًا، ووفّر مع Desertcart

قيمة مقابل المال

أسعار تنافسية على مجموعة واسعة من المنتجات.

تسوّق عالميًا

نخدم أكثر من 300 مليون متسوق في أكثر من 200 دولة.

حماية معززة

خيارات دفع موثوقة يحبها المتسوقون في جميع أنحاء العالم.

ضمان العملاء

خيارات دفع موثوقة يحبها المتسوقون في جميع أنحاء العالم.

تطبيق Desertcart

تسوّق أثناء التنقل، في أي وقت وأي مكان.

₪407

Israelمتجر

إرجاع مجاني

30 يومًالمستخدمي عضوية PRO

15 يومًابدون عضوية