quantifier

  • حذف کمیت، تغییر علامت، جداسازی ریشه. ISSAC89

    دانلود کتاب Quantifier elimination, sign variation, root isolation. ISSAC89 (به فارسی: حذف کمیت، تغییر علامت، جداسازی ریشه. ISSAC89) نوشته شده توسط «Collins – Johnson.» اطلاعات کتاب حذف کمیت، تغییر علامت، جداسازی ریشه. ISSAC89 موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی نویسنده: Collins – Johnson. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 8 حجم کتاب: 1 مگابایت کد کتاب: 0-89791-325-6 دانلود کتاب «حذف کمیت، تغییر علامت، جداسازی ریشه. ISSAC89»

  • حذف کمیت و CAD برای چند جمله‌ای مثلثاتی

    دانلود کتاب Quantifier elimination and CAD for trigonometric polynomials (به فارسی: حذف کمیت و CAD برای چند جمله‌ای مثلثاتی) نوشته شده توسط «Pau – Schicho.» اطلاعات کتاب حذف کمیت و CAD برای چند جمله‌ای مثلثاتی موضوع اصلی: نرم افزار: CAD نوع: کتاب الکترونیکی نویسنده: Pau – Schicho. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 13 حجم کتاب: 1 مگابایت دانلود کتاب «حذف کمیت و CAD برای چند جمله‌ای مثلثاتی»

  • حذف کمیت در درجه 3

    دانلود کتاب Quantifier elimination in degree 3 (به فارسی: حذف کمیت در درجه 3) نوشته شده توسط «Weispfenning.» اطلاعات کتاب حذف کمیت در درجه 3 موضوع اصلی: جبر کامپیوتری نوع: کتاب الکترونیکی نویسنده: Weispfenning. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 6 حجم کتاب: 1 مگابایت کد کتاب: 0-89791-638-7 دانلود کتاب «حذف کمیت در درجه 3»

  • حذف کمیت کننده محلی

    دانلود کتاب Local quantifier elimination (به فارسی: حذف کمیت کننده محلی) نوشته شده توسط «Dolzmann.» اطلاعات کتاب حذف کمیت کننده محلی موضوع اصلی: جبر کامپیوتری نوع: کتاب الکترونیکی نویسنده: Dolzmann. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 9 حجم کتاب: 1 مگابایت دانلود کتاب «حذف کمیت کننده محلی»

  • ساده سازی فرمول های بدون کمیت. JSC 1997

    دانلود کتاب Simplification of quantifier-free formulae. JSC 1997 (به فارسی: ساده سازی فرمول های بدون کمیت. JSC 1997) نوشته شده توسط «Dolzmann.» اطلاعات کتاب ساده سازی فرمول های بدون کمیت. JSC 1997 موضوع اصلی: جبر کامپیوتری نوع: کتاب الکترونیکی نویسنده: Dolzmann. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 24 حجم کتاب: 1 مگابایت دانلود کتاب «ساده سازی فرمول های بدون کمیت. JSC 1997»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان