Interactive Theorem Proving 5th International Conference Itp 2014 Held As | Desertcart OMAN
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
معرّف المنتج: 271689695
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
الأسئلة الشائعة
ترست بايلوت
الثقة 4.5 | 7300+ مراجعات
عبد الله ب.
سعر رائع لمنتج أصلي. شحن دولي سريع أيضًا!
منذ 3 أسابيع
رافي س.
أحببت تنوع المنتجات المتاحة. سأقوم بالتسوق بالتأكيد مرة أخرى.