خرید و دانلود نسخه کامل کتاب Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

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

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

نویسنده: Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1999

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

زبان: English

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

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