metb
سنتز و تبدیل برنامه منطقی – فرابرنامهنویسی در منطق: چهارمین کارگاه بینالمللی، 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 (به فارسی: سنتز و تبدیل برنامه منطقی – فرابرنامهنویسی در منطق: چهارمین کارگاه بینالمللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات) نوشته شده توسط «David A. Basin (auth.) – Laurent Fribourg – Franco Turini (eds.)» اطلاعات کتاب سنتز و تبدیل برنامه منطقی – فرابرنامهنویسی در منطق: چهارمین کارگاه بینالمللی، LOPSTR ’94 و META ’94 پیزا، ایتالیا، 20 تا 21 ژوئن 1994 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع:…