خرید و دانلود نسخه کامل کتاب Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

برنامه نویسی منطقی و استدلال خودکار: پنجمین کنفرانس بین المللی، LPAR '94 کیف، اوکراین، 16 تا 22 ژوئیه، 1994 مجموعه مقالات

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

نویسنده: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1994

تعداد صفحات: 352 [355]

زبان: English

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

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