خرید و دانلود نسخه کامل کتاب Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs

منطق کاربردی برای دانشمندان کامپیوتر کسر محاسباتی و اثبات رسمی

Applied Logic for Computer Scientists. Computational Deduction and Formal Proofs

نویسنده: Mauricio Ayala-Rincón, Flávio L.C. de Moura

ناشر: Springer

سال انتشار: 2017

تعداد صفحات: 162

زبان: english

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 1 مگابایت