کامپیوترها

تکنیک ها و کاربردهای بازنویسی: دیژون، فرانسه، 20 تا 22 مه 1985

Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985

دانلود کتاب Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985 (به فارسی: تکنیک ها و کاربردهای بازنویسی: دیژون، فرانسه، 20 تا 22 مه 1985) نوشته شده توسط «Bruno Buchberger (auth.) – Jean-Pierre Jouannaud (eds.)»

اطلاعات کتاب تکنیک ها و کاربردهای بازنویسی: دیژون، فرانسه، 20 تا 22 مه 1985

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Bruno Buchberger (auth.) – Jean-Pierre Jouannaud (eds.)

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1985

تعداد صفحه: 444

حجم کتاب: 4 مگابایت

کد کتاب: 9783540159766 , 3540159762

نوبت چاپ: 1

توضیحات کتاب تکنیک ها و کاربردهای بازنویسی: دیژون، فرانسه، 20 تا 22 مه 1985

تئوری و عمل بازنویسی اصطلاحات اکنون به خوبی تثبیت شده است و کانون توجه روزافزون علاقه به دنیای علوم کامپیوتر است. این کتاب مجموعه ای از مشارکت های پژوهشی اصلی و بررسی دانش موجود را گرد هم می آورد. برخی از مهم‌ترین پیشرفت‌ها در نظریه بازنویسی اصطلاح، و همچنین تاریخچه مهم‌ترین کشف در این زمینه، یعنی مفهوم یک جفت بحرانی و پیامد طبیعی آن، الگوریتم تکمیل، مرور می‌شوند. بسیاری از ایده های جدید توسعه یافته کاربردهای مهمی در زمینه های دیگر محاسبات نظری دارند. بنابراین، این کتاب باید مورد توجه محققان حوزه هایی مانند برنامه نویسی منطقی، جبر کامپیوتری و برنامه نویسی تابعی باشد.

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.

دانلود کتاب «تکنیک ها و کاربردهای بازنویسی: دیژون، فرانسه، 20 تا 22 مه 1985»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان