دانلود کتاب Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs
by Mauricio Ayala-Rincón, Flávio L.C. de Moura|
|
عنوان فارسی: اعمال منطق برای دانشمندان کامپیوتر. محاسباتی کسر و مدرک رسمی |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟