خرید و دانلود نسخه کامل کتاب Martin Davis on Computability, Computational Logic, and Mathematical Foundations

مارتین دیویس در مورد محاسبات ، منطق محاسباتی و مبانی ریاضی

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

نویسنده: Eugenio G. Omodeo, Alberto Policriti (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

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

زبان: English

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

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