دانلود کتاب Efficient decision procedures for locally finite theories II (به فارسی: رویه های تصمیم گیری کارآمد برای نظریه های محدود محلی II) نوشته شده توسط «Weispfenning.»
اطلاعات کتاب رویه های تصمیم گیری کارآمد برای نظریه های محدود محلی II
موضوع اصلی: جبر کامپیوتری
نوع: کتاب الکترونیکی
ناشر: ISSAC
نویسنده: Weispfenning.
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1988
تعداد صفحه: 6
حجم کتاب: 1 مگابایت
دانلود کتاب «رویه های تصمیم گیری کارآمد برای نظریه های محدود محلی II»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.