Interactive Theorem Proving 8th International Conference Itp 2017 Brasilia Brazil | Desertcart OMAN
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Theoretical Computer Science and General Issues)
معرّف المنتج: 578254275
معاملة آمنة
يُشترى معًا بشكل متكرر
الوصف
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Theoretical Computer Science and General Issues)
الأسئلة الشائعة
ترست بايلوت
الثقة 4.5 | 7300+ مراجعات
ريما ج.
منصة مثالية للعناصر التي يصعب العثور عليها. كان التوصيل سريعًا.
منذ شهر
يوسف أ.
تجربة رائعة بشكل عام. سأوصي بها للأصدقاء والعائلة.