دانلود کتاب Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings (به فارسی: مدیریت دانش ریاضی: سومین کنفرانس بین المللی، MKM 2004، Białowieża، لهستان، 19-21 سپتامبر 2004. مجموعه مقالات) نوشته شده توسط «Andrew A. Adams – James H. Davenport (auth.) – Andrea Asperti – Grzegorz Bancerek – Andrzej Trybulec (eds.)»
اطلاعات کتاب مدیریت دانش ریاضی: سومین کنفرانس بین المللی، MKM 2004، Białowieża، لهستان، 19-21 سپتامبر 2004. مجموعه مقالات
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Andrew A. Adams – James H. Davenport (auth.) – Andrea Asperti – Grzegorz Bancerek – Andrzej Trybulec (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 398
حجم کتاب: 8 مگابایت
کد کتاب: 3540230297 , 9783540230298 , 9783540278184
نوبت چاپ: 1
توضیحات کتاب مدیریت دانش ریاضی: سومین کنفرانس بین المللی، MKM 2004، Białowieża، لهستان، 19-21 سپتامبر 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین کنفرانس بین‌المللی مدیریت دانش ریاضی، MKM 2004، برگزار شده در Bialowieza، لهستان، در سپتامبر 2004 است.
27 مقاله کامل اصلاح‌شده ارائه شده با دقت بررسی و انتخاب شدند از 48 ارسال از جمله موضوعات مورد بحث عبارتند از: بازیابی ریاضیات، رسمی کردن ریاضیات، ریاضیات رسمی، کتابخانه های ریاضی دیجیتال، وب معنایی، مخازن دانش، نمایش دانش ریاضی، سیستم های اثبات قضیه، OWL، تأیید اثبات، نمایش رسمی، پردازش فرمول های ریاضی، و پروژه OpenMath.
This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004.
The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.