خرید و دانلود نسخه کامل کتاب Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems

تجزیه و تحلیل و سنتز منطق - نحوه برش و چسباندن سیستم های استدلال

Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems

نویسنده: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

ناشر: Springer

سال انتشار: 2008

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

زبان: English

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

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