Interactive Theorem Proving 5th International Conference Itp 2014 Held As | Desertcart KUWAIT
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+ مراجعات
رافي س.
أحببت تنوع المنتجات المتاحة. سأقوم بالتسوق بالتأكيد مرة أخرى.
منذ شهرين
راجش ب.
خدمة العملاء كانت رائعة عندما كان لدي استفسارات حول المنتج.