خرید و دانلود نسخه کامل کتاب Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

تکنیک های بازنویسی و برنامه های کاربردی: ششمین کنفرانس بین المللی، RTA-95 Kaiserslautern، آلمان، آوریل 5-7، 1995 پرونده ها

Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

نویسنده: Yuri Matiyasevich (auth.), Jieh Hsiang (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1995

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

زبان: English

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

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