لامابوک
Logic for Programming, Artificial Intelligence, and Reasoning

خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning

منطق برای برنامه نویسی، هوش مصنوعی و استدلال

Logic for Programming, Artificial Intelligence, and Reasoning

نویسنده: Edmund M. Clarke, Andrei Voronkov

ناشر: Springer

سال انتشار: 2011

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

زبان: English

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

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

109,000 تومان 73,000 تومان