ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

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

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

مشخصات کتاب

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 2042 
ISBN (شابک) : 9783540421276, 3540421270 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2001 
تعداد صفحات: 191 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



کلمات کلیدی مربوط به کتاب سنتز و دگرگونی برنامه منطقی: منطق و معانی برنامه ها، تکنیک های برنامه نویسی، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سنتز و دگرگونی برنامه منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سنتز و دگرگونی برنامه منطقی

این کتاب مقالات کامل بازبینی شده از دهمین کارگاه بین المللی سنتز و تبدیل برنامه مبتنی بر منطق، LOPSTR 2000، که در ژوئیه سال 2000 در لندن، انگلستان، به عنوان بخشی از کنفرانس بین المللی منطق محاسباتی برگزار شد، ارائه می کند.
10 مقاله کامل بازبینی شده ارائه شده دو دور بررسی، انتخاب و بازنگری را پشت سر گذاشته اند. این کتاب در بخش‌های موضوعی سنتز، تبدیل، تحلیل، تخصص و تفسیر انتزاعی تقسیم شده است.


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

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.
The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.



فهرست مطالب

A Formal Framework for Synthesis and Verification of Logic Programs....Pages 1-17
Protocols between Programs and Proofs....Pages 18-37
A Technique for Modular Logic Program Refinement....Pages 38-56
Higher-Order Transformation of Logic Programs....Pages 57-68
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings....Pages 69-85
A Model for Inter-module Analysis and Optimizing Compilation....Pages 86-102
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages....Pages 103-124
Automated Strategies for Specializing Constraint Logic Programs....Pages 125-146
Measuring the Precision of Abstract Interpretations....Pages 147-164
Specifying Prolog Trace Models with a Continuation Semantics....Pages 165-181




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

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