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

نویسنده: Michel Parigot (editor), Andrei Voronkov (editor)

ناشر: Springer

سال انتشار: 2000

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

زبان: English

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

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