دانلود کتاب Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
by Michael Leuschel (auth.)
|
عنوان فارسی: سنتز و تبدیل برنامه منطقی: پنجمین کارگاه بین المللی، LOPSTR'95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات |