خرید و دانلود نسخه کامل کتاب Automated Deduction — A Basis for Applications: Volume III Applications

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

Automated Deduction — A Basis for Applications: Volume III Applications

نویسنده: Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

ناشر: Springer Netherlands

سال انتشار: 1998

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

زبان: English

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

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