دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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. پرونده ها
مشخصات کتاب
Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings
ویرایش: 1 نویسندگان: Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.) سری: Lecture Notes in Computer Science 3119 ISBN (شابک) : 9783540230298, 3540230297 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 402 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب مدیریت دانش ریاضی: سومین کنفرانس بین المللی، MKM 2004، Białowieża، لهستان، 19-21 سپتامبر 2004. پرونده ها: ذخیره سازی و بازیابی اطلاعات، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، هوش مصنوعی (شامل رباتیک)، مدیریت پایگاه داده، شبکه های ارتباطی کامپیوتری، ریاضیات، عمومی
در صورت تبدیل فایل کتاب Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدیریت دانش ریاضی: سومین کنفرانس بین المللی، MKM 2004، Białowieża، لهستان، 19-21 سپتامبر 2004. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدیریت دانش ریاضی: سومین کنفرانس بین المللی، 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.
فهرست مطالب
Front Matter....Pages -
Copyright Issues for MKM....Pages 1-16
Efficient Retrieval of Mathematical Statements....Pages 17-31
Formalizing Set Theory as it Is Actually Used....Pages 32-43
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles....Pages 44-57
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics....Pages 58-72
Mathematical Service Matching Using Description Logic and OWL....Pages 73-87
C-CoRN, the Constructive Coq Repository at Nijmegen....Pages 88-103
Classifying Differential Equations on the Web....Pages 104-115
Managing Heterogeneous Theories within a Mathematical Knowledge Repository....Pages 116-129
Rough Concept Analysis – Theory Development in the Mizar System....Pages 130-144
A Path to Faithful Formalizations of Mathematics....Pages 145-159
Flexible Encoding of Mathematics on the Computer....Pages 160-174
CPoint : Dissolving the Author’s Dilemma....Pages 175-189
On Diagrammatic Representation of Mathematical Knowledge....Pages 190-204
Predicate Logic with Sequence Variables and Sequence Function Symbols....Pages 205-219
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics....Pages 220-235
Theorem Proving and Proof Verification in the System SAD....Pages 236-250
Adaptive Access to a Proof Planner....Pages 251-264
Modeling Interactivity for Mathematics Learning by Demonstration....Pages 265-275
Extraction of Logical Structure from Articles in Mathematics....Pages 276-289
Improving Mizar Texts with Properties and Requirements ....Pages 290-301
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics....Pages 302-316
Intuitive and Formal Representations: The Case of Matrices....Pages 317-331
Mathematical Libraries as Proof Assistant Environments....Pages 332-346
Efficient Ambiguous Parsing of Mathematical Formulae....Pages 347-362
An Architecture for Distributed Mathematical Web Services....Pages 363-377
The Categorial Type of OpenMath Objects....Pages 378-392
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Steve Jobs. Visionary Founder of Apple
دانلود کتاب Manifiesto del Partido Comunista
دانلود کتاب Commento al «Cratilo» di Platone. Testo greco a fronte
