دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
دانلود کتاب ریاضیات رایانه ای هوشمند: یازدهمین کنفرانس بین المللی ، AISC 2012 ، نوزدهمین سمپوزیوم ، کلکوموس 2012 ، پنجمین کارگاه بین المللی ، DML 2012 ، یازدهمین کنفرانس بین المللی ، MKM 2012 ، سیستم ها و پروژه ها ، به عنوان بخشی از CICM 2012 ، برمن ، آلمان ، 8 تا 13 ژوئیه برگزار شد ، 2012. مجموعه مقالات
مشخصات کتاب
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ویرایش: 1 نویسندگان: Jesse Alama, Lionel Mamane, Josef Urban (auth.), Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (eds.) سری: Lecture Notes in Computer Science 7362 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642313738, 9783642313745 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 487 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب ریاضیات رایانه ای هوشمند: یازدهمین کنفرانس بین المللی ، AISC 2012 ، نوزدهمین سمپوزیوم ، کلکوموس 2012 ، پنجمین کارگاه بین المللی ، DML 2012 ، یازدهمین کنفرانس بین المللی ، MKM 2012 ، سیستم ها و پروژه ها ، به عنوان بخشی از CICM 2012 ، برمن ، آلمان ، 8 تا 13 ژوئیه برگزار شد ، 2012. مجموعه مقالات: دستکاری نمادین و جبری، هوش مصنوعی (شامل رباتیک)، کاربردهای ریاضی در علوم کامپیوتر، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، ذخیره و بازیابی اطلاعات
در صورت تبدیل فایل کتاب Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات رایانه ای هوشمند: یازدهمین کنفرانس بین المللی ، AISC 2012 ، نوزدهمین سمپوزیوم ، کلکوموس 2012 ، پنجمین کارگاه بین المللی ، DML 2012 ، یازدهمین کنفرانس بین المللی ، MKM 2012 ، سیستم ها و پروژه ها ، به عنوان بخشی از CICM 2012 ، برمن ، آلمان ، 8 تا 13 ژوئیه برگزار شد ، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات رایانه ای هوشمند: یازدهمین کنفرانس بین المللی ، AISC 2012 ، نوزدهمین سمپوزیوم ، کلکوموس 2012 ، پنجمین کارگاه بین المللی ، DML 2012 ، یازدهمین کنفرانس بین المللی ، MKM 2012 ، سیستم ها و پروژه ها ، به عنوان بخشی از CICM 2012 ، برمن ، آلمان ، 8 تا 13 ژوئیه برگزار شد ، 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری مشترک یازدهمین کنفرانس بین‌المللی هوش مصنوعی و محاسبات نمادین، AISC 2012، نوزدهمین سمپوزیوم ادغام محاسبات نمادین و استدلال مکانیزه، Calculemus 2012، پنجمین کارگاه بین‌المللی Libraries DML20، Digital Mathe است. ، یازدهمین کنفرانس بین المللی مدیریت دانش ریاضی، MKM 2012، سیستم ها و پروژه ها، در برمن، آلمان به عنوان CICM 2012، کنفرانس های ریاضیات کامپیوتری هوشمند برگزار شد. 13 مقاله کامل اصلاح شده از 19 مقاله ارسالی برای MKM 2012، 6 مقاله کامل اصلاح شده از 9 ارسالی برای Calculemus 2012، 6 مقاله اصلاح شده کامل از 8 ارسالی برای AISC 2012، 2 مقاله کامل اصلاح شده از 3 مقاله ارسالی برای DML، و 2201 مقاله ارسالی 11 مقاله کامل اصلاح شده از 12 مقاله ارسالی برای سیستم ها و مسیر پروژه ارائه شده به دقت بررسی و انتخاب شدند که منجر به 38 مقاله از مجموع 52 ارسال شد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.
فهرست مطالب
Front Matter....Pages -
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar....Pages 1-16
Proof, Message and Certificate....Pages 17-31
Challenges and Experiences in Managing Large-Scale Proofs....Pages 32-48
Semantic Alliance : A Framework for Semantic Allies....Pages 49-64
Extending MKM Formats at the Statement Level....Pages 65-80
A Streaming Digital Ink Framework for Multi-party Collaboration....Pages 81-95
Cost-Effective Integration of MKM Semantic Services into Editing Environments....Pages 96-110
Understanding the Learners’ Actions when Using Mathematics Learning Tools....Pages 111-126
Towards Understanding Triangle Construction Problems....Pages 127-142
A Query Language for Formal Mathematical Libraries....Pages 143-158
Abramowitz and Stegun – A Resource for Mathematical Document Analysis....Pages 159-168
Point-and-Write – Documenting Formal Mathematics by Reference....Pages 169-185
An Essence of SSReflect....Pages 186-201
Theory Presentation Combinators....Pages 202-215
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging....Pages 216-230
Towards the Formal Specification and Verification of Maple Programs....Pages 231-247
Formalizing Frankl’s Conjecture: FC-Families....Pages 248-263
CDCL-Based Abstract State Transition System for Coherent Logic....Pages 264-279
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases....Pages 280-294
A System for Axiomatic Programming....Pages 295-309
Reasoning on Schemata of Formulæ....Pages 310-325
Management of Change in Declarative Languages....Pages 326-341
MathWebSearch 0.5: Scaling an Open Formula Search Engine....Pages 342-357
Real Algebraic Strategies for MetiTarski Proofs....Pages 358-370
A Combinator Language for Theorem Discovery....Pages 371-385
DynGenPar – A Dynamic Generalized Parser for Common Mathematical Language....Pages 386-401
Writing on Clouds....Pages 402-416
A Web Interface for Matita....Pages 417-421
MaxTract: Converting PDF to $\\mbox\\LaTeX$ , MathML and Text....Pages 422-426
New Developments in Parsing Mizar ....Pages 427-431
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence....Pages 432-437
Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)....Pages 438-442
On Formal Specification of Maple Programs....Pages 443-447
The Planetary Project: Towards eMath3.0....Pages 448-452
Tentative Experiments with Ellipsis in Mizar....Pages 453-457
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset....Pages 458-462
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization....Pages 463-467
Isabelle/jEdit – A Prover IDE within the PIDE Framework....Pages 468-471
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Mediensozialisationstheorien: Neue Modelle und Ansätze in der Diskussion
دانلود کتاب XML and JSON Recipes for SQL Server
دانلود کتاب Autonomous Vehicles: The Road to Economic Growth?
دانلود کتاب Scientific Data for Decision Making Toward Sustainable Development: Senegal River Basin Case Study --
