خرید و دانلود نسخه کامل کتاب Real quantifier elimination in practice, survey

حذف واقعی کم کننده در عمل ، نظرسنجی

Real quantifier elimination in practice, survey

نویسنده: Dolzmann, Sturm, Weispfenning.

ناشر: 1997

سال انتشار: 1997

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

زبان: English

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

حجم فایل: 121 کیلوبایت