دانلود کتاب Temporal Logic: First International Conference, ICTL’94 Bonn, Germany, July 11–14, 1994 Proceedings
36,000 تومان
منطق زمانی: اولین کنفرانس بین المللی، ICTL’94 بن، آلمان، 11 تا 14 ژوئیه، 1994 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 551 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 354058241X,9783540582410 |
| نوبت چاپ | 1 |
| نویسنده | , , , , |
|---|---|
| زبان |
انگلیسی |
| فرمت |
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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق زمانی: اولین کنفرانس بین المللی، ICTL’94 بن، آلمان، 11 تا 14 ژوئیه، 1994 مجموعه مقالات
این جلد مجموعه مقالات اولین کنفرانس بین المللی منطق زمانی (ICTL ’94) است که در ژوئیه 1994 در بن، آلمان برگزار شد.
از زمان تصور آن به عنوان یک رشته در سی سال پیش، منطق زمانی توسط بسیاری مورد مطالعه قرار گرفت محققان با پیشینه های متعدد؛ در حال حاضر در مرحله رشد پویا شتابان قرار دارد. این کتاب، به عنوان مجموعه مقالات اولین کنفرانس بین المللی به ویژه به منطق زمانی اختصاص داده شده است، گزارش کاملی از پیشرفته ترین گزارش در مورد تمام جنبه های تحقیقات منطق زمانی مربوط به علوم کامپیوتر و هوش مصنوعی ارائه می دهد. این شامل 27 مشارکت فنی است که به دقت برای ارائه در ICTL ’94 انتخاب شده اند و همچنین سه نظرسنجی و مقاله موقعیت.
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL ’94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL ’94 as well as three surveys and position papers.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.