دانلود کتاب Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی، LOPSTR’98 منچستر، انگلستان، 15 تا 19 ژوئن 1998 مقالات منتخب) نوشته شده توسط «Norbert E. Fuchs – Uta Schwertel (auth.) – Pierre Flener (eds.)»
اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی، LOPSTR’98 منچستر، انگلستان، 15 تا 19 ژوئن 1998 مقالات منتخب
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Norbert E. Fuchs – Uta Schwertel (auth.) – Pierre Flener (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1999
تعداد صفحه: 338
حجم کتاب: 2 مگابایت
کد کتاب: 3540657657 , 9783540657651
نوبت چاپ: 1
توضیحات کتاب سنتز و تحول برنامه مبتنی بر منطق: هشتمین کارگاه بین المللی، LOPSTR’98 منچستر، انگلستان، 15 تا 19 ژوئن 1998 مقالات منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی هشتمین کارگاه بین المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR’98 که در ژوئن 1998 در منچستر، انگلستان برگزار شد، ارائه می دهد. 16 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و انتخاب شدند. طی سه دور بازرسی از مجموع 36 چکیده مبسوط اولیه ارسال شده. همچنین شامل هشت مقاله کوتاه است. از جمله موضوعات تحت پوشش می توان به مشخصات منطق، ساخت برنامه ریاضی، برنامه نویسی منطقی، منطق محاسباتی، سنتز برنامه استقرایی، برنامه های منطق محدودیت و مبانی ریاضی اشاره کرد.
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR’98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.