خرید و دانلود نسخه کامل کتاب Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

logic programming and automated reasoning internat

Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

نویسنده: Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1992

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

زبان: English

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

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