Interactive Theorem Proving 5th International Conference Itp 2014 Held As | Desertcart EGYPT
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)
معرّف المنتج: 13644255
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
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+ مراجعات
يوسف أ.
تجربة رائعة بشكل عام. سأوصي بها للأصدقاء والعائلة.