خرید و دانلود نسخه کامل کتاب Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings

کسر خودکار - CADE-17: هفدهمین کنفرانس بین المللی در مورد کسر خودکار پیتسبورگ، PA، ایالات متحده آمریکا، 17-20 ژوئن، 2000. مجموعه مقالات

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings

نویسنده: John Harrison (auth.), David McAllester (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

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

زبان: English

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

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