خرید و دانلود نسخه کامل کتاب Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

کسر خودکار — CADE-16: شانزدهمین کنفرانس بین المللی کسر خودکار ترنتو، ایتالیا، 7 تا 10 ژوئیه، 1999 مجموعه مقالات

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

نویسنده: Harald Ganzinger (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1999

تعداد صفحات: 438 [441]

زبان: English

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

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