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 ... 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+ مراجعات
خالد ز.
تجربة رائعة من الطلب إلى التسليم. موصى به بشدة!
منذ أسبوع
ريما ج.
منصة مثالية للعناصر التي يصعب العثور عليها. كان التوصيل سريعًا.