خرید و دانلود نسخه کامل کتاب 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings

نهمین کنفرانس بین المللی کسر خودکار: آرگون، ایلینوی، ایالات متحده آمریکا، 23 تا 26 مه 1988 مجموعه مقالات

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings

نویسنده: Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1988

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

زبان: English

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

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