دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
دانلود کتاب مرزهای سیستم های ترکیبی: هشتمین همایش بین المللی، FroCoS 2011، زاربروکن، آلمان، 5-7 اکتبر 2011. پرونده ها
مشخصات کتاب
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
ویرایش: 1 نویسندگان: Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.) سری: Lecture Notes in Computer Science 6989 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642243646, 3642243649 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 283 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 67,000
کلمات کلیدی مربوط به کتاب مرزهای سیستم های ترکیبی: هشتمین همایش بین المللی، FroCoS 2011، زاربروکن، آلمان، 5-7 اکتبر 2011. پرونده ها: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مرزهای سیستم های ترکیبی: هشتمین همایش بین المللی، FroCoS 2011، زاربروکن، آلمان، 5-7 اکتبر 2011. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مرزهای سیستم های ترکیبی: هشتمین همایش بین المللی، FroCoS 2011، زاربروکن، آلمان، 5-7 اکتبر 2011. پرونده ها
این کتاب مجموعه مقالات داوری هشتمین سمپوزیوم بینالمللی مرزهای سیستمهای ترکیبی، FroCoS 2011 است که در زاربروکن، آلمان، در اکتبر 2011 برگزار شد. 22 ارسال. این رویداد یک انجمن مشترک برای فعالیت های تحقیقاتی در حوزه کلی ترکیب، مدولارسازی و یکپارچه سازی سیستم ها، با تاکید بر سیستم های مبتنی بر منطق، و استفاده عملی از آنها ایجاد می کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submissions. The event builds a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.
فهرست مطالب
Front Matter....Pages -
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models....Pages 1-11
Automatic Proof and Disproof in Isabelle/HOL....Pages 12-27
Size-Change Termination and Satisfiability for Linear-Time Temporal Logics....Pages 28-39
Combining Theories: The Ackerman and Guarded Fragments....Pages 40-54
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm....Pages 55-70
The Complexity of Reversal-Bounded Model-Checking....Pages 71-86
Expressing Polymorphic Types in a Many-Sorted Language....Pages 87-102
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints....Pages 103-118
Superposition Modulo Non-linear Arithmetic....Pages 119-134
The Modal Logic of Equilibrium Models....Pages 135-146
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs....Pages 147-162
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT....Pages 163-178
Controlled Term Rewriting....Pages 179-194
Sharing Is Caring: Combination of Theories....Pages 195-210
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic....Pages 211-226
Congruence Closure of Compressed Terms in Polynomial Time....Pages 227-242
Generalized and Formalized Uncurrying....Pages 243-258
A Semantic Account for Modularity in Multi-language Modelling of Search Problems....Pages 259-274
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Metal Nanoparticles: Synthesis Characterization & Applications
دانلود کتاب Learn to program with Small Basic : an introduction to programming with games, art, science, and math
دانلود کتاب Chance and Temporal Asymmetry
دانلود کتاب Істина і метод. Том 2: Герменевтика II: Доповнення, покажчики. Вибрані статті. Часть 2
