دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
دانلود کتاب منطق برنامه نویسی ، هوش مصنوعی و استدلال: هجدهمین کنفرانس بین المللی ، LPAR-18 ، مریدا ، ونزوئلا ، 11-15 مارس 2012. مجموعه مقالات
مشخصات کتاب
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ویرایش: 1 نویسندگان: Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.) سری: Lecture Notes in Computer Science 7180 ISBN (شابک) : 9783642287169, 3642287174 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 456 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 36,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب منطق برنامه نویسی ، هوش مصنوعی و استدلال: هجدهمین کنفرانس بین المللی ، LPAR-18 ، مریدا ، ونزوئلا ، 11-15 مارس 2012. مجموعه مقالات: مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برنامه نویسی ، هوش مصنوعی و استدلال: هجدهمین کنفرانس بین المللی ، LPAR-18 ، مریدا ، ونزوئلا ، 11-15 مارس 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برنامه نویسی ، هوش مصنوعی و استدلال: هجدهمین کنفرانس بین المللی ، LPAR-18 ، مریدا ، ونزوئلا ، 11-15 مارس 2012. مجموعه مقالات
این کتاب مجموعه مقالات هجدهمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR-18 است که در مریدا، ونزوئلا، در مارس 2012 برگزار شد. 25 مقاله معمولی و 6 توصیف ابزار و مقالات تجربی ارائه شده است. از بین 74 مورد ارسالی به دقت بررسی و انتخاب شدند. مجموعه کنفرانس‌های بین‌المللی منطق برای برنامه‌نویسی، هوش مصنوعی و استدلال (LPAR) انجمنی است که سال به سال برخی از مشهورترین محققان در زمینه‌های منطق، استدلال خودکار، منطق محاسباتی، زبان‌های برنامه‌نویسی و کاربردهای آنها در آن شرکت می‌کنند. برای ارائه نتایج پیشرفته، بحث در مورد پیشرفت ها در این زمینه ها، و تبادل نظر در بخشی از جهان که از نظر علمی در حال ظهور است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
فهرست مطالب
Front Matter....Pages -
Automatic Inference of Resource Consumption Bounds....Pages 1-11
Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems....Pages 12-12
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning....Pages 13-14
Enfragmo: A System for Modelling and Solving Search Problems with Logic....Pages 15-22
The Permutative λ -Calculus....Pages 23-36
Automated and Human Proofs in General Mathematics: An Initial Comparison....Pages 37-45
Lazy Abstraction with Interpolants for Arrays....Pages 46-61
Backward Trace Slicing for Conditional Rewrite Theories....Pages 62-76
Forgetting for Defeasible Logic....Pages 77-91
Querying Proofs....Pages 92-106
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints....Pages 107-121
Dual-Priced Modal Transition Systems with Time Durations....Pages 122-137
Finding Finite Herbrand Models....Pages 138-152
Smart Testing of Functional Programs in Isabelle....Pages 153-167
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic....Pages 168-182
Duality between Merging Operators and Social Contraction Operators....Pages 183-196
Automatic Generation of Invariants for Circular Derivations in SUP(LA)....Pages 197-211
Moral Reasoning under Uncertainty....Pages 212-227
Towards Algorithmic Cut-Introduction....Pages 228-242
Conflict Anticipation in the Search for Graph Automorphisms....Pages 243-257
Confluence of Non-Left-Linear TRSs via Relative Termination....Pages 258-273
Regular Expressions for Data Words....Pages 274-288
Automatic Verification of TLA + Proof Obligations with SMT Solvers....Pages 289-303
An Asymptotically Correct Finite Path Semantics for LTL....Pages 304-319
On the Domain and Dimension Hierarchy of Matrix Interpretations....Pages 320-334
iSat: Structure Visualization for SAT Problems....Pages 335-342
Linear Constraints over Infinite Trees....Pages 343-358
E-Matching with Free Variables....Pages 359-374
Random: R-Based Analyzer for Numerical Domains....Pages 375-382
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description)....Pages 383-390
Labelled Superposition for PLTL....Pages 391-405
The TPTP Typed First-Order Form with Arithmetic....Pages 406-419
Ordinals and Knuth-Bendix Orders....Pages 420-434
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)....Pages 435-444
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب China Shakes the World - a classic Account of the Chinese Revolution
دانلود کتاب La letteratura italiana. Storia e testi. Opere
دانلود کتاب OP-Handbuch: Grundlagen · Instrumentarium · OP-Ablauf
