دانلود کتاب Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings (به فارسی: تکنیک ها و کاربردهای بازنویسی: ششمین کنفرانس بین المللی، RTA-95 Kaiserslautern، آلمان، 5-7 آوریل، 1995 مجموعه مقالات) نوشته شده توسط «Yuri Matiyasevich (auth.) – Jieh Hsiang (eds.)»
اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: ششمین کنفرانس بین المللی، RTA-95 Kaiserslautern، آلمان، 5-7 آوریل، 1995 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Yuri Matiyasevich (auth.) – Jieh Hsiang (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1995
تعداد صفحه: 480
حجم کتاب: 5 مگابایت
کد کتاب: 3540592008 , 9783540592006
نوبت چاپ: 1
توضیحات کتاب تکنیک ها و کاربردهای بازنویسی: ششمین کنفرانس بین المللی، RTA-95 Kaiserslautern، آلمان، 5-7 آوریل، 1995 مجموعه مقالات
این جلد، مجموعه مقالات ششمین کنفرانس بین‌المللی تکنیک‌ها و کاربردهای بازنویسی، RTA-95، که در کایزرسلاترن، آلمان در آوریل 1995 برگزار شد، ارائه می‌کند.
27 مقاله اصلاح‌شده کامل از مجموع 87 مقاله ارسالی انتخاب شدند. علاوه بر این، 9 توصیف سیستم و دو مجموعه مشکل وجود دارد، یکی توسط Mark E. Stickel و Hantao Zhang و دیگری توسط Nachum Dershowitz، Jean-Pierre Jouannaud و Jan Willem Klop ارائه شده است.
این جلد به تمام جنبه‌های فعلی تکنیک‌های بازنویسی و کاربردهای آن‌ها می‌پردازد و در نتیجه، پیشرفته‌ترین هنر را در این زمینه فعال تحقیقاتی تعریف می‌کند.
This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.
The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop.
The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.