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 ... Computer Science and General Issues)
معرّف المنتج: 76967012
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)
الأسئلة الشائعة
ترست بايلوت
الثقة 4.5 | 7300+ مراجعات
راجش ب.
خدمة العملاء كانت رائعة عندما كان لدي استفسارات حول المنتج.