دانلود کتاب Selected papers on automath (به فارسی: مقالات منتخب در اتومات) نوشته شده توسط «R.P. Nederpelt – J.H. Geuvers – R.C. de Vrijer»
اطلاعات کتاب مقالات منتخب در اتومات
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Elsevier
نویسنده: R.P. Nederpelt – J.H. Geuvers – R.C. de Vrijer
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 1045
حجم کتاب: 6 مگابایت
کد کتاب: 9780444898227 , 0444898220
توضیحات کتاب مقالات منتخب در اتومات
جلد حاضر شامل یک انتخاب در نظر گرفته شده از ادبیات موجود در Automath است. بسیاری از مقالات موجود در این کتاب در مجلات یا مجموعه مقالات کنفرانس منتشر شده است، اما تعدادی از آنها فقط به عنوان گزارش های تحقیقاتی منتشر شده اند یا منتشر نشده اند. هدف ویراستاران ارائه منتخبی از مقالات و گزارش‌های موجود و مطالب موجود در پایان‌نامه‌ها است که یک مرور فشرده و کمابیش کامل از کارهای انجام شده در زمینه تحقیقات Automath از ابتدا تا امروز. شش حوزه مختلف از هم متمایز شده است که مربوط به قسمت های A تا F کتاب است. این حوزه‌ها از ایده‌ها و انگیزه‌های کلی گرفته تا بررسی‌های نحوی دقیق را شامل می‌شود.
دانلود کتاب «مقالات منتخب در اتومات»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.