خرید و دانلود نسخه کامل کتاب Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

كاهش خودکار - CADE-15: پانزدهمین كنفرانس بین المللی كاهش اتومات لیندو ، آلمان ، 5-10-10 ژوئیه نسخه های مقدماتی

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

نویسنده: Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1998

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

زبان: English

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

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