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

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

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science, 4790)

نویسنده: Nachum Dershowitz (editor), Andrei Voronkov (editor)

ناشر: Springer

سال انتشار: 2007

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

زبان: English

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

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