دانلود کتاب Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
by David A. Basin (auth.)
|
عنوان فارسی: سنتز و تبدیل برنامه منطقی - فرابرنامه\نویسی در منطق: چهارمین کارگاه بین\المللی، LOPSTR '94 و META '94 پیزا، ایتالیا، 20–21 ژوئن 1994 مجموعه مقالات |