دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
دانلود کتاب کسر خودکار – CADE-24: بیست و چهارمین کنفرانس بین المللی کسر خودکار، لیک پلاسید، نیویورک، ایالات متحده آمریکا، 9-14 ژوئن 2013. مجموعه مقالات
مشخصات کتاب
Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ویرایش: 1 نویسندگان: Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (eds.) سری: Lecture Notes in Computer Science 7898 ISBN (شابک) : 9783642385735, 9783642385742 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 479 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب کسر خودکار – CADE-24: بیست و چهارمین کنفرانس بین المللی کسر خودکار، لیک پلاسید، نیویورک، ایالات متحده آمریکا، 9-14 ژوئن 2013. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، مهندسی نرم افزار، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کسر خودکار – CADE-24: بیست و چهارمین کنفرانس بین المللی کسر خودکار، لیک پلاسید، نیویورک، ایالات متحده آمریکا، 9-14 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کسر خودکار – CADE-24: بیست و چهارمین کنفرانس بین المللی کسر خودکار، لیک پلاسید، نیویورک، ایالات متحده آمریکا، 9-14 ژوئن 2013. مجموعه مقالات
این کتاب مجموعه مقالات بیست و چهارمین کنفرانس بین المللی کسر خودکار، CADE-24 است که در لیک پلاسید، نیویورک، ایالات متحده آمریکا، در ژوئن 2013 برگزار شد. 31 مقاله کامل اصلاح شده ارائه شده همراه با 2 مقاله دعوت شده با دقت بررسی و انتخاب شدند از 71 ارسال اولیه. CADE انجمن اصلی برای ارائه تحقیقات در همه جنبه‌های استنتاج خودکار است، از مسائل نظری و روش‌شناختی تا ارائه اثبات‌کننده‌ها، حل‌کننده‌ها و سیستم‌های جدید قضیه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.
فهرست مطالب
Front Matter....Pages -
One Logic to Use Them All....Pages 1-20
The Tree Width of Separation Logic with Recursive Definitions....Pages 21-38
Hierarchic Superposition with Weak Abstraction....Pages 39-57
Completeness and Decidability Results for First-Order Clauses with Indices....Pages 58-75
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies....Pages 76-90
Tractable Inference Systems: An Extension with a Deducibility Predicate....Pages 91-108
Computing Tiny Clause Normal Forms....Pages 109-125
System Description: E-KRHyper 1.4....Pages 126-134
Analysing Vote Counting Algorithms via Logic....Pages 135-144
Automated Reasoning, Fast and Slow....Pages 145-161
Foundational Proof Certificates in First-Order Logic....Pages 162-177
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals....Pages 178-192
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition....Pages 193-207
dReal : An SMT Solver for Nonlinear Theories over the Reals....Pages 208-214
Solving Difference Constraints over Modular Arithmetic....Pages 215-230
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis....Pages 231-248
Hierarchical Combination....Pages 249-266
PRocH: Proof Reconstruction for HOL Light ....Pages 267-274
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description....Pages 275-281
Towards Modularly Comparing Programs Using Automated Theorem Provers....Pages 282-299
Reuse in Software Verification by Abstract Method Calls....Pages 300-314
Dynamic Logic with Trace Semantics....Pages 315-329
Temporalizing Ontology-Based Data Access....Pages 330-344
Verifying Refutations with Extended Resolution....Pages 345-359
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems....Pages 360-376
Quantifier Instantiation Techniques for Finite Model Finding in SMT....Pages 377-391
Automating Inductive Proofs Using Theory Exploration....Pages 392-406
E-MaLeS 1.1....Pages 407-413
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism....Pages 414-420
Propositional Temporal Proving with Reductions to a SAT Problem....Pages 421-435
InKreSAT: Modal Reasoning via Incremental Reduction to SAT....Pages 436-442
bv2epr : A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR....Pages 443-449
The 481 Ways to Split a Clause and Deal with Propositional Variables....Pages 450-464
Back Matter....Pages -
