ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

دانلود کتاب مرزهای سیستم های ترکیبی: دهمین سمپوزیوم بین المللی ، FroCoS 2015 ، وروسلاو ، لهستان ، 21 تا 24 سپتامبر 2015 ، مجموعه مقالات

Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

مشخصات کتاب

Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 9322 
ISBN (شابک) : 9783319242453, 9783319242460 
ناشر: Springer International Publishing 
سال نشر: 2015 
تعداد صفحات: 362 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 52,000



کلمات کلیدی مربوط به کتاب مرزهای سیستم های ترکیبی: دهمین سمپوزیوم بین المللی ، FroCoS 2015 ، وروسلاو ، لهستان ، 21 تا 24 سپتامبر 2015 ، مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، تکنیک های برنامه نویسی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مرزهای سیستم های ترکیبی: دهمین سمپوزیوم بین المللی ، FroCoS 2015 ، وروسلاو ، لهستان ، 21 تا 24 سپتامبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مرزهای سیستم های ترکیبی: دهمین سمپوزیوم بین المللی ، FroCoS 2015 ، وروسلاو ، لهستان ، 21 تا 24 سپتامبر 2015 ، مجموعه مقالات



این کتاب مجموعه مقالات دهمین سمپوزیوم بین‌المللی مرزهای ترکیب سیستم‌ها، FroCoS 2015 است که در وروتسواف، لهستان، در سپتامبر 2015 برگزار شد.

20 مقاله ارائه‌شده در این جلد عبارتند از به دقت بررسی و از بین 34 مورد ارسالی انتخاب شد. آنها در بخش های موضوعی به نام های: منطق های توصیفی سازماندهی شدند. اثبات قضیه و ساخت مدل؛ رویه های تصمیم گیری؛ رویه های تصمیم گیری برای راستی آزمایی؛ بازنویسی و حل محدودیت؛ دگرگونی های بین سیستم های نمادین؛ روش های ترکیبی؛ و استدلال در نظریه های بزرگ. این کتاب همچنین حاوی یک سخنرانی دعوت شده در طول مقاله است.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.

The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.



فهرست مطالب

Front Matter....Pages I-XVII
Front Matter....Pages 1-1
Free Variables and Theories: Revisiting Rigid E-unification....Pages 3-13
Front Matter....Pages 15-15
Decidable Description Logics of Context with Rigid Roles....Pages 17-32
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics....Pages 33-48
Front Matter....Pages 49-65
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment....Pages 67-67
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation....Pages 69-84
An Expressive Model for Instance Decomposition Based Parallel SAT Solvers....Pages 85-100
Front Matter....Pages 101-116
Weakly Equivalent Arrays....Pages 117-117
A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings....Pages 119-134
Adapting Real Quantifier Elimination Methods for Conflict Set Computation....Pages 135-150
Front Matter....Pages 151-166
A New Acceleration-Based Combination Framework for Array Properties....Pages 167-167
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata....Pages 169-185
Front Matter....Pages 186-202
A Completion Method to Decide Reachability in Rewrite Systems....Pages 203-203
Axiomatic Constraint Systems for Proof Search Modulo Theories....Pages 205-219
Front Matter....Pages 220-236
Formalizing Soundness and Completeness of Unravelings....Pages 237-237
Proofs and Reconstructions....Pages 239-255
Front Matter....Pages 256-271
A Rewriting Approach to the Combination of Data Structures with Bridging Theories....Pages 273-273
Unification and Matching in Hierarchical Combinations of Syntactic Theories....Pages 275-290
Combining Forward and Backward Propagation....Pages 291-306
Front Matter....Pages 307-322
Random Forests for Premise Selection....Pages 323-323
Front Matter....Pages 325-340
Lemmatization for Stronger Reasoning in Large Theories....Pages 323-323
Back Matter....Pages 341-356
....Pages 357-357




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی