خرید و دانلود نسخه کامل کتاب 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 (auth.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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