خرید و دانلود نسخه کامل کتاب Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications

حذف کمیت مرتبه دوم: مبانی ، جنبه های محاسباتی و کاربردها

Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications

نویسنده: D. M. Gabbay, R. Schmidt, A. Szalas

ناشر: College Publications

سال انتشار: 2008

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

زبان: English

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

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