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

تعداد صفحات: 517 [525]

زبان: English

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

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