دانلود کتاب Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
49,000 تومان
به سمت دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب دیفرانسیل و انتگرال 2007، ششمین کنفرانس بین المللی، MKM 2007، هاگنبرگ، اتریش، 27-30 ژوئن 2007: مجموعه مقالات
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 418 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9783540730835,3540730834 |
| نوبت چاپ | 1 |
| نویسنده | Manfred Kerber, Manuel Kauers, Robert Miner, Wolfgang Windsteiger |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2007 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
به سمت دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب دیفرانسیل و انتگرال 2007، ششمین کنفرانس بین المللی، MKM 2007، هاگنبرگ، اتریش، 27-30 ژوئن 2007: مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین المللی مدیریت دانش ریاضی، MKM 2007، و چهاردهمین سمپوزیوم ادغام محاسبات نمادین و استدلال مکانیزه، Calculemus 2006 است که در هاگنبرگ، اتریش در ژوئن 2007 برگزار شد. تابستان RISC 2007، که توسط موسسه تحقیقاتی محاسبات نمادین سازماندهی شد.
10 مقاله کامل اصلاح شده از 23 ارسالی برای Calculemus 2007 و 19 مقاله کامل اصلاح شده، به علاوه چکیده های 2 گفتگوی دعوت شده، انتخاب شده از 52 مقاله ارسالی به MKM 2007 به دقت بررسی و برای ارائه مشترک در کتاب انتخاب شد. این مقالات جنبههای مختلف شاخههای سنتی در CS مانند جبر کامپیوتری و اثبات قضیه، و همچنین مواردی که به تازگی در حال ظهور هستند مانند رابطهای کاربری، مدیریت دانش، و کاوش تئوری را پوشش میدهند. بنابراین توسعه دستیارهای ریاضی مکانیزه یکپارچه تسهیل می شود.
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.
The 10 revised full papers from 23 submissions for Calculemus 2007 and 19 revised full papers, plus abstracts of 2 invited talks, selected from 52 submissions to MKM 2007 were carefully reviewed and selected for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra and theorem proving, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration. Thus facilitating the development of integrated mechanized mathematical assistants.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.