دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Word Equations and Related Topics: Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
دانلود کتاب معادلات کلمه و موضوعات مرتبط: دومین کارگاه بین المللی، IWWERT '91 Rouen، فرانسه، 7-9 اکتبر 1991 مجموعه مقالات
مشخصات کتاب
Word Equations and Related Topics: Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
ویرایش: [1 ed.] نویسندگان: G. S. Makanin (auth.), Habib Abdulrab, Jean-Pierre Pécuchet (eds.) سری: Lecture Notes in Computer Science 677 ISBN (شابک) : 3540567305, 9783540567301 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 220 [221] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 58,000
در صورت تبدیل فایل کتاب Word Equations and Related Topics: Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معادلات کلمه و موضوعات مرتبط: دومین کارگاه بین المللی، IWWERT '91 Rouen، فرانسه، 7-9 اکتبر 1991 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معادلات کلمه و موضوعات مرتبط: دومین کارگاه بین المللی، IWWERT '91 Rouen، فرانسه، 7-9 اکتبر 1991 مجموعه مقالات
توضیحاتی درمورد کتاب به خارجی
This volume contains papers presented at the second International Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991. The papers are on the following topics: general solution of word equations, conjugacy in free inverse monoids, general A- and AX-unification via optimized combination procedures, wordequations with two variables, a conjecture about conjugacy in free groups, acase of termination for associative unification, theorem proving by combinatorial optimization, solving string equations with constant restriction, LOP (toward a new implementation of Makanin's algorithm), word unification and transformation of generalizedequations, unification in the combination of disjoint theories, on the subsets of rank two in a free monoid (a fast decision algorithm), and a solution of the complement problem in associative-commutative theories.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cohomology Operations and Applications to Homotopy Theory
دانلود کتاب Electrocorrosion and Protection of Metals: General approach with particular consideration to electrochemical plants
دانلود کتاب Competitive Electricity Markets And Sustainability
دانلود کتاب The JCT Minor Works Building Contracts 2005
