دانلود کتاب Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985

Name: Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985
Availability: InStock
Author: Bruno Buchberger (auth.)
ISBN: 9783540159766, 3540159762

by Bruno Buchberger (auth.)

عنوان فارسی: روشهای بازنویسی و برنامه های کاربردی: دیژون فرانسه، ماه مه 20-22، 1985
ناشر: Springer-Verlag Berlin Heidelberg
سال: 1985
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 444-447
شابک: 9783540159766, 3540159762
نوع فایل: DJVU دانلود نرم افزار مطالعه
حجم: 4.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!