خرید و دانلود نسخه کامل کتاب Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

برنامه نویسی منطقی و استدلال خودکار: ششمین کنفرانس بین المللی، LPAR'99، تفلیس، گرجستان، 6-10 سپتامبر 1999، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 1705)

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

نویسنده: Harald Ganzinger (editor), David McAllester (editor), Andrei Voronkov (editor)

ناشر: Springer

سال انتشار: 1999

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

زبان: English

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

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