lopstr95

سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات

دانلود کتاب Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR’95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings (به فارسی: سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات) نوشته شده توسط «Michael Leuschel (auth.) – Maurizio Proietti (eds.)» اطلاعات کتاب سنتز و تحول برنامه منطق: پنجمین کارگاه بین المللی، LOPSTR’95 اوترخت، هلند، 20 تا 22 سپتامبر 1995 مجموعه مقالات موضوع اصلی: علمی-محبوب نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Michael Leuschel (auth.) – Maurizio Proietti (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال…