Applied Logic for Computer Scientists

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs تمت الكتابة بواسطة Mauricio Ayala-Rincón; Flávio L. C. de Moura وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Applied Logic for Computer Scientists هي 9783319516530, 3319516531 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319516516, 3319516515. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs تمت الكتابة بواسطة Mauricio Ayala-Rincón; Flávio L. C. de Moura وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Applied Logic for Computer Scientists هي 9783319516530, 3319516531 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319516516, 3319516515. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.