دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال: هجدهمین کنفرانس بین المللی، LPAR-18، مریدا، ونزوئلا، 11-15 مارس 2012. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال: هجدهمین کنفرانس بین المللی، LPAR-18، مریدا، ونزوئلا، 11-15 مارس 2012. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
نام کتاب : Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق برای برنامه نویسی، هوش مصنوعی و استدلال: هجدهمین کنفرانس بین المللی، LPAR-18، مریدا، ونزوئلا، 11-15 مارس 2012. مجموعه مقالات
سری : Lecture Notes in Computer Science 7180
نویسندگان : Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2012
تعداد صفحات : 455
ISBN (شابک) : 9783642287169 , 9783642287176
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی