دانلود کتاب Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 – August 1, 2008. Proceedings (به فارسی: ریاضیات کامپیوتری هوشمند: نهمین کنفرانس بین المللی، AISC 2008، پانزدهمین سمپوزیوم، Calculemus 2008، هفتمین کنفرانس بین المللی، MKM 2008، بیرمنگام، انگلستان، 28 ژوئیه – 1 اوت 2008. مجموعه مقالات) نوشته شده توسط «Steve Linton (auth.) – Serge Autexier – John Campbell – Julio Rubio – Volker Sorge – Masakazu Suzuki – Freek Wiedijk (eds.)»
اطلاعات کتاب ریاضیات کامپیوتری هوشمند: نهمین کنفرانس بین المللی، AISC 2008، پانزدهمین سمپوزیوم، Calculemus 2008، هفتمین کنفرانس بین المللی، MKM 2008، بیرمنگام، انگلستان، 28 ژوئیه – 1 اوت 2008. مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Steve Linton (auth.) – Serge Autexier – John Campbell – Julio Rubio – Volker Sorge – Masakazu Suzuki – Freek Wiedijk (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 602
حجم کتاب: 10 مگابایت
کد کتاب: 3540851097 , 9783540851097
نوبت چاپ: 1
توضیحات کتاب ریاضیات کامپیوتری هوشمند: نهمین کنفرانس بین المللی، AISC 2008، پانزدهمین سمپوزیوم، Calculemus 2008، هفتمین کنفرانس بین المللی، MKM 2008، بیرمنگام، انگلستان، 28 ژوئیه – 1 اوت 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری مشترک نهمین کنفرانس بین المللی هوش مصنوعی و محاسبات نمادین، AISC 2008، پانزدهمین سمپوزیوم ادغام محاسبات نمادین و استدلال مکانیزه، Calculemus 2008، و هفتمین کنفرانس بین المللی در زمینه Mathematical Knowledge Management، MKM 2008، در بیرمنگام، انگلستان، در ژوئیه/آگوست به عنوان CICM 2008، کنفرانس های ریاضیات کامپیوتری هوشمند برگزار شد.
14 مقاله اصلاح شده کامل برای AISC 2008، 10 مقاله اصلاح شده کامل برای Calcule 2008، و 18 مقاله کامل اصلاح شده برای MKM 2008، به اضافه 5 گفتگوی دعوت شده، به دقت بررسی و از مجموع 81 مورد ارسالی برای ارائه مشترک در کتاب انتخاب شدند. این مقالات جنبه‌های مختلف شاخه‌های سنتی در CS مانند جبر رایانه، اثبات قضیه، و به طور کلی هوش مصنوعی، و همچنین مواردی که به تازگی در حال ظهور هستند مانند رابط‌های کاربری، مدیریت دانش، و کاوش تئوری را پوشش می‌دهند، بنابراین توسعه ریاضیات مکانیزه یکپارچه را تسهیل می‌کنند. دستیارهایی که به طور معمول توسط ریاضیدانان، دانشمندان کامپیوتر و مهندسان در تجارت روزمره خود استفاده خواهند شد.
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.
The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.