خرید و دانلود نسخه کامل کتاب Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

کسر خودکار — Cade-13: سیزدهمین کنفرانس بین المللی کسر خودکار نیوبرانزویک، نیوجرسی، ایالات متحده، 30 ژوئیه - 3 اوت 1996 مجموعه مقالات

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

نویسنده: Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

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

زبان: English

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

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