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

Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

صورة الغلاف: Automated Reasoning with Analytic Tableaux and Related Methods 9783030860585
  • المؤلف (المؤلفون)
    Author
  • الناشر
    Springer
  • شكل
    تنسيق قابل للتنسيق التلقائي
  • Print ISBN 9783030860585, 3030860582
  • eText ISBN 9783030860592, 3030860590
  • حقوق الطبع والنشر
    2021
ترخيص eTextbook
‌‌
﷼‎71.23 SAR
‌

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

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

  • 4500 المعاهد

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

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

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

Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Reasoning with Analytic Tableaux and Related Methods هي 9783030860592, 3030860590 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030860585, 3030860582. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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