خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

منطق برنامه نویسی ، هوش مصنوعی و استدلال: دوازدهمین کنفرانس بین المللی ، LPAR 2005 ، مونتگو بی ، جامائیکا ، 2-6 دسامبر 2005. مجموعه مقالات

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

نویسنده: Allen Van Gelder (auth.), Geoff Sutcliffe, Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

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

زبان: English

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

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