دانلود کتاب Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: هشتمین کنفرانس بین المللی، RTA-97 Sitges، اسپانیا، 2 تا 5 ژوئن 1997 مجموعه مقالات) نوشته شده توسط «William McCune (auth.) – Hubert Comon (eds.)»
اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: هشتمین کنفرانس بین المللی، RTA-97 Sitges، اسپانیا، 2 تا 5 ژوئن 1997 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: William McCune (auth.) – Hubert Comon (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 348
حجم کتاب: 4 مگابایت
کد کتاب: 3540629505 , 9783540629504
نوبت چاپ: 1
توضیحات کتاب تکنیک ها و کاربردهای بازنویسی: هشتمین کنفرانس بین المللی، RTA-97 Sitges، اسپانیا، 2 تا 5 ژوئن 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین‌المللی تکنیک‌ها و کاربردهای بازنویسی، RTA-97، که در سیجس، اسپانیا، در ژوئن 1997 برگزار شد، است.
24 مقاله کامل اصلاح‌شده ارائه‌شده از مجموع 54 مقاله انتخاب شدند. ارسالی ها همچنین چکیده‌ای از دو سخنرانی دعوت شده و چهار شرح سیستم موجود است. علاوه بر موضوعات کلاسیک مانند خاتمه، تلاقی، یا کاربردهای اثبات قضیه، چندین رویکرد جدید برای بازنویسی ارائه شده است. در مجموع، این جلد وضعیت هنر را در زمینه تکنیک ها و کاربردهای بازنویسی ارائه می دهد.
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.
The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.