خرید و دانلود نسخه کامل کتاب 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

دهمین کنفرانس بین المللی تخفیف خودکار: Kaiserslautern، FRG، 24-27 ژوئیه مجموعه مقالات

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

نویسنده: Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1990

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

زبان: English

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

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