Symbolic Computation and Automated Reasoning

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 1st الإصدار وتم النشر بواسطة A K Peters/CRC Press (T&F). الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Symbolic Computation and Automated Reasoning هي 9781040186848, 104018684X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9781568811451, 1568811454. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource. تشمل الأرقام الدولية المعيارية للكتاب (ISBN) للكتاب الدراسي الإلكتروني 9781439864234, 9780429064302.

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 1st الإصدار وتم النشر بواسطة A K Peters/CRC Press (T&F). الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Symbolic Computation and Automated Reasoning هي 9781040186848, 104018684X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9781568811451, 1568811454. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource. تشمل الأرقام الدولية المعيارية للكتاب (ISBN) للكتاب الدراسي الإلكتروني 9781439864234, 9780429064302.