خرید و دانلود نسخه کامل کتاب The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis

کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis

نویسنده: David A. Plaisted, Yunshan Zhu (auth.)

ناشر: Vieweg+Teubner Verlag

سال انتشار: 1997

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

زبان: German

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

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