خرید و دانلود نسخه کامل کتاب Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

تکنیک ها و برنامه های بازنویسی: هشتمین کنفرانس بین المللی ، سایت RTA-97 ، اسپانیا ، 2 تا 5 ژوئن ، مجموعه مقالات

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

نویسنده: William McCune (auth.), Hubert Comon (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1997

تعداد صفحات: 350

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت