خرید و دانلود نسخه کامل کتاب Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

منطق برای برنامه نویسی و استدلال خودکار: هفتمین کنفرانس بین المللی، LPAR 2000 Reunion Island، فرانسه، 6-10 نوامبر، 2000 مجموعه مقالات

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

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

ناشر: Springer

سال انتشار: 2000

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

زبان: English

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

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