ترجمه فارسی توضیحات (ترجمه ماشینی)
مدیریت دانش ریاضی: پنجمین کنفرانس بین المللی، MKM 2006، ووکینگهام، انگلستان، 11-12 اوت 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین المللی مدیریت دانش ریاضی، MKM 2006 است که در ووکینگهام، انگلستان در آگوست 2006 به عنوان رویداد ماهواره ای رسمی کنگره بین المللی ریاضیدانان، ICM 2006 برگزار شد.
<P22 مقاله کامل اصلاح شده ارائه شده در طی دو دور بررسی و بهبود با دقت انتخاب شدند. مقالات این مجلد کل حوزه مدیریت دانش ریاضی را در تقاطع ریاضیات، علوم کامپیوتر، علوم کتابداری و انتشارات علمی پوشش می دهد. مقالات در بخش‌های موضوعی در بازنمایی اثبات، پردازش اثبات، استخراج دانش، نمایش دانش، و همچنین سیستم‌ها و ابزارها سازماندهی شده‌اند.
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006.
The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.