خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

منطق برنامه نویسی ، هوش مصنوعی و استدلال: شانزدهمین کنفرانس بین المللی ، LPAR-16 ، داکار ، سنگال ، 25 آوریل - 1 مه 2010 ، نسخه های تجدید نظر شده

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

نویسنده: Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

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

زبان: English

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

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