دانلود کتاب Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR ’94 and META ’94 Pisa, Italy, June 20–21, 1994 Proceedings (به فارسی: سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات) نوشته شده توسط «David A. Basin (auth.) – Laurent Fribourg – Franco Turini (eds.)»
اطلاعات کتاب سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: David A. Basin (auth.) – Laurent Fribourg – Franco Turini (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 458
حجم کتاب: 4 مگابایت
کد کتاب: 3540587926 , 9783540587927
نوبت چاپ: 1
توضیحات کتاب سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات
این جلد مجموعه مقالات چهارمین کارگاه بین‌المللی سنتز و تبدیل برنامه منطقی (LOPSTR ’94) و فرابرنامه‌نویسی
(META ’94) است که به طور مشترک در پیزا، ایتالیا در ژوئن 1994 برگزار شد.
این کتاب شامل نسخه‌های اصلاح‌شده‌ای از بهترین مقالات ارائه‌شده در هر دو کارگاه است. موضوعات اصلی که توسط مقالات META مورد توجه قرار می گیرد، پسوندهای زبان در حمایت از فرامنطق، معناشناسی متا منطق، اجرای ویژگی های فرامنطقی، عملکرد متا منطق، و چندین جنبه کاربردی است. مقالات LOPSTR به باز کردن/تا کردن، کسر جزئی، اثبات به عنوان برنامه، برنامه‌نویسی منطق استقرایی، تأیید خودکار برنامه، مشخصات و روش‌های برنامه‌نویسی اختصاص دارد.
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR ’94) and on Meta-Programming
(META ’94), held jointly in Pisa, Italy in June 1994.
This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.