دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
دانلود کتاب سیستم های بازنویسی مشروط و معمولی: چهارمین کارگاه بین المللی ، CTRS-94 قدس ، اسرائیل ، 13-15 ژوئیه ، مجموعه مقالات
مشخصات کتاب
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.) سری: Lecture Notes in Computer Science 968 ISBN (شابک) : 3540603816, 9783540603818 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 382 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 35,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های بازنویسی مشروط و معمولی: چهارمین کارگاه بین المللی ، CTRS-94 قدس ، اسرائیل ، 13-15 ژوئیه ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های بازنویسی مشروط و معمولی: چهارمین کارگاه بین المللی ، CTRS-94 قدس ، اسرائیل ، 13-15 ژوئیه ، مجموعه مقالات
این کتاب نسخه کامل اصلاح شده 21 مقاله پذیرفته شده برای
چهارمین کارگاه بین المللی سیستم های بازنویسی مشروط و تایپ
شده، CTRS-94، که در ارتباط با ICALP '94 در اورشلیم، اسرائیل،
در ژوئیه 1994 برگزار شد، ارائه می دهد.
این جلد، پیشرفت‌های تحقیقاتی را در زمینه بازنویسی به طور کلی
از زمان کارگاه آموزشی قبلی که در ژوئیه 1992 برگزار شد، گزارش
می‌کند. بازنویسی.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Aspects of Automated Natural Language Generation: 6th International Workshop on Natural Language Generation Trente, Italy, April 5–7 1992 Proceedings
دانلود کتاب New Frontiers in Artificial Intelligence: JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers
دانلود کتاب Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
دانلود کتاب Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings
دانلود کتاب Home Workshop Explosives
دانلود کتاب Advances in Web-Age Information Management: Third International Conference, WAIM 2002 Beijing, China, August 11–13, 2002 Proceedings
دانلود کتاب Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
دانلود کتاب Universal Access Theoretical Perspectives, Practice, and Experience: 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24–25, 2002, Revised Papers
دانلود کتاب International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
