Automated Reasoning with Analytic Tableaux and Related Methods

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.

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.