خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science, 2514)

منطق برای برنامه نویسی، هوش مصنوعی و استدلال: نهمین کنفرانس بین المللی، LPAR 2002، تفلیس، گرجستان، 14-18 اکتبر 2002 مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 2514)

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science, 2514)

نویسنده: Matthias Baaz (editor), Andrei Voronkov (editor)

ناشر: Springer

سال انتشار: 2002

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

زبان: English

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

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