سنتز و تبدیل برنامه منطقی: مجموعه مقالات LOPSTR 91، کارگاه بین المللی در مورد سنتز و تبدیل برنامه منطقی، دانشگاه منچستر، 4 تا 5 ژوئیه 1991
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
نویسنده: Jonathan M. Lever (auth.), Timothy Paul Clement MA, DPhil, Kung-Kiu Lau BSc, PhD (eds.)
ناشر: Springer-Verlag London
سال انتشار: 1992
تعداد صفحات: 337 [345]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 13 مگابایت