خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

منطق برنامه نویسی، هوش مصنوعی و استدلال: 11th International Conference، LPAR 2004، Montevideo، Uruguay، March 14-18، 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

نویسنده: Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

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

زبان: English

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

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