• التعليم وحلول الأعمال يفتح في نافذة جديدة

Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

صورة الغلاف: Interactive Theorem Proving 9783319661063
  • الناشر
    Springer
  • شكل
    تنسيق قابل للتنسيق التلقائي
  • Print ISBN 9783319661063, 331966106X
  • eText ISBN 9783319661070, 3319661078
  • حقوق الطبع والنشر
    2017
إيجار كتاب دراسي إلكتروني أو شراؤه
‌‌
﷼‎71.28 SAR
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

VitalSource أكثر من 25 عامًا من التحول الرقمي

  • 4500 المعاهد

  • أكثر من 230 البلدان والأقاليم

  • أكثر من 10 آلاف الناشرون

  • أكثر من 18 مليون المستخدمون النشطون

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Theorem Proving هي 9783319661070, 3319661078 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319661063, 331966106X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى