automath

مقالات منتخب در اتومات

دانلود کتاب 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 است. بسیاری از مقالات موجود در…