Automated Deduction – CADE 27

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Deduction – CADE 27 هي 9783030294366, 3030294366 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030294359, 3030294358. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Deduction – CADE 27 هي 9783030294366, 3030294366 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030294359, 3030294358. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.