دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings
دانلود کتاب سیستم‌های بازنویسی اصطلاحات مشروط: سومین کارگاه بین‌المللی، CTRS-92 Point-à-Mousson، فرانسه، 8-10 ژوئیه 1992 مجموعه مقالات
مشخصات کتاب
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings
ویرایش: [1 ed.] نویسندگان: Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (eds.) سری: Lecture Notes in Computer Science 656 ISBN (شابک) : 3540563938, 9783540563938 ناشر: Springer Berlin Heidelberg سال نشر: 1993 تعداد صفحات: XIII, 507 p. [510] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم‌های بازنویسی اصطلاحات مشروط: سومین کارگاه بین‌المللی، CTRS-92 Point-à-Mousson، فرانسه، 8-10 ژوئیه 1992 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم‌های بازنویسی اصطلاحات مشروط: سومین کارگاه بین‌المللی، CTRS-92 Point-à-Mousson، فرانسه، 8-10 ژوئیه 1992 مجموعه مقالات
این جلد شامل مقالات ارائه شده در سومین کارگاه بین‌المللی در مورد سیستم‌های بازنویسی شرطی، که در پونت موسون، فرانسه، 8 تا 10 ژوئیه 1992 برگزار شد. ، بازنویسی محدود، بازنویسی تایپ شده، بازنویسی با مرتبه بالاتر و بازنویسی نمودار. این جلد شامل 40 مقاله، شامل چهار سخنرانی دعوت شده است: معناشناسی جبری بازنویسی اصطلاحات و انواع، توسط K. Meinke; اثبات القایی عمومی، توسط P. Padawitz; بازنویسی اصطلاح شرطی و اثبات قضیه مرتبه اول، توسط D. Plaisted; و تعیین پذیری خواص تناهی (چکیده)، توسط L. Pacholski. اولین کارگاه آموزشی CTRS در دانشگاه پاریس در سال 1987 و دومین کارگاه در دانشگاه کنکوردیا مونترال در سال 1990 برگزار شد.
توضیحاتی درمورد کتاب به خارجی
This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K. Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Paris in 1987 and the second at Concordia University, Montreal, in 1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Techniques de blanchiment et moyens de lutte
دانلود کتاب Lincoln for President
دانلود کتاب Brockport physical fitness test manual : a health-related assessment for youngsters with disabilities
