خرید و دانلود نسخه کامل کتاب Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

کسر خودکار - مبنایی برای کاربردها: جلد دوم: سیستم ها و تکنیک های پیاده سازی

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

نویسنده: W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

ناشر: Springer Netherlands

سال انتشار: 1998

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

زبان: English

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

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