دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)
دانلود کتاب منطق برای برنامه نویسی و استدلال خودکار: هفتمین کنفرانس بین المللی، LPAR 2000 Reunion Island، فرانسه، 6-10 نوامبر، 2000 مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 1955)
مشخصات کتاب
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)
ویرایش: 2000
نویسندگان: Michel Parigot (editor). Andrei Voronkov (editor)
سری:
ISBN (شابک) : 3540412859, 9783540412854
ناشر: Springer
سال نشر: 2000
تعداد صفحات: 499
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 70,000
در صورت تبدیل فایل کتاب Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای برنامه نویسی و استدلال خودکار: هفتمین کنفرانس بین المللی، LPAR 2000 Reunion Island، فرانسه، 6-10 نوامبر، 2000 مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 1955) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
