خرید و دانلود نسخه کامل کتاب Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

کسر خودکار-CADE-14: چهاردهمین کنفرانس بین المللی در مورد کسر خودکار تاونزویل، کوئینزلند شمالی، استرالیا، 13 تا 17 ژوئیه، 1997 مجموعه مقالات

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

نویسنده: Wu Wen-Tsün (auth.), William McCune (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1997

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

زبان: English

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

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