خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture Notes in Computer Science, 2250)

منطق برای برنامه نویسی، هوش مصنوعی و استدلال: هشتمین کنفرانس بین المللی، LPAR 2001، هاوانا، کوبا، 3-7 دسامبر 2001، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 2250)

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture Notes in Computer Science, 2250)

نویسنده: Robert Nieuwenhuis (editor), Andrei Voronkov (editor)

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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