دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
دانلود کتاب منطق برنامه نویسی، هوش مصنوعی و استدلال: هفدهمین کنفرانس بین المللی، LPAR-17، Yogyakarta، اندونزی، 10-15 اکتبر 2010. پرونده ها
مشخصات کتاب
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ویرایش: [1 ed.] نویسندگان: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.) سری: Lecture Notes in Computer Science 6397 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642162428, 3642162428 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 656 [667] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برنامه نویسی، هوش مصنوعی و استدلال: هفدهمین کنفرانس بین المللی، LPAR-17، Yogyakarta، اندونزی، 10-15 اکتبر 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برنامه نویسی، هوش مصنوعی و استدلال: هفدهمین کنفرانس بین المللی، LPAR-17، Yogyakarta، اندونزی، 10-15 اکتبر 2010. پرونده ها
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین‌المللی منطق برای برنامه‌نویسی، هوش مصنوعی و استدلال، LPAR-17 است که در یوگیاکارتا، اندونزی، در اکتبر 2010 برگزار شد. .
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.
