خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

منطق برنامه نویسی، هوش مصنوعی و استدلال: چهاردهمین کنفرانس بین المللی، LPAR 2007، یرستان، ارمنستان، 15-19 اکتبر 2007. پرونده ها

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

نویسنده: Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

تعداد صفحات: 564 [572]

زبان: English

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

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