دانلود کتاب Selected papers on automath
49,000 تومان
مقالات منتخب در اتومات
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Elsevier |
| تعداد صفحه | 1045 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 9780444898227,0444898220 |
| نویسنده | J.H. Geuvers, R.C. de Vrijer, R.P. Nederpelt |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1994 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مقالات منتخب در اتومات
جلد حاضر شامل یک انتخاب در نظر گرفته شده از ادبیات موجود در Automath است. بسیاری از مقالات موجود در این کتاب در مجلات یا مجموعه مقالات کنفرانس منتشر شده است، اما تعدادی از آنها فقط به عنوان گزارش های تحقیقاتی منتشر شده اند یا منتشر نشده اند. هدف ویراستاران ارائه منتخبی از مقالات و گزارشهای موجود و مطالب موجود در پایاننامهها است که یک مرور فشرده و کمابیش کامل از کارهای انجام شده در زمینه تحقیقات Automath از ابتدا تا امروز. شش حوزه مختلف از هم متمایز شده است که مربوط به قسمت های A تا F کتاب است. این حوزهها از ایدهها و انگیزههای کلی گرفته تا بررسیهای نحوی دقیق را شامل میشود.
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.