دانلود کتاب Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: دوازدهمین کنفرانس بین المللی، RTA 2001 اوترخت، هلند، 22-24 مه، 2001 مجموعه مقالات) نوشته شده توسط «Henk Barendregt (auth.) – Aart Middeldorp (eds.)»
اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: دوازدهمین کنفرانس بین المللی، RTA 2001 اوترخت، هلند، 22-24 مه، 2001 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Henk Barendregt (auth.) – Aart Middeldorp (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 368
حجم کتاب: 3 مگابایت
کد کتاب: 9783540421177 , 3540421173
نوبت چاپ: 1
توضیحات کتاب تکنیک ها و کاربردهای بازنویسی: دوازدهمین کنفرانس بین المللی، RTA 2001 اوترخت، هلند، 22-24 مه، 2001 مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی تکنیک‌ها و کاربردهای بازنویسی، RTA 2001، برگزار شده در اوترخت، هلند، در ماه مه 2001 است.
23 مقاله کامل اصلاح‌شده همراه با دو شرح سیستم به دقت ارائه شده‌اند. بررسی و از بین 55 مورد ارسالی انتخاب شد. تمام جنبه های فعلی بازنویسی پرداخته شده است.
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.
The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
