کتاب الکترونیکی

سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

دانلود کتاب 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.

دانلود کتاب «سنتز و تبدیل برنامه منطقی – فرابرنامه‌نویسی در منطق: چهارمین کارگاه بین‌المللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.