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