دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computational Aspects of an Order-Sorted Logic with Term Declarations
دانلود کتاب جنبه‌های محاسباتی منطق مرتب‌سازی‌شده با اعلان‌های مدت
مشخصات کتاب
Computational Aspects of an Order-Sorted Logic with Term Declarations
ویرایش: 1
نویسندگان: M. Schmidt-Schauß (eds.)
سری: Lecture Notes in Computer Science 395 : Lecture Notes in Artificial Intelligence
ISBN (شابک) : 3540517057, 9783540517054
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1989
تعداد صفحات: 178
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب جنبه‌های محاسباتی منطق مرتب‌سازی‌شده با اعلان‌های مدت: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Computational Aspects of an Order-Sorted Logic with Term Declarations به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه‌های محاسباتی منطق مرتب‌سازی‌شده با اعلان‌های مدت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Introduction....Pages 1-8
Foundations....Pages 9-52
Various extensions....Pages 53-95
Unification of uninterpreted sorted terms....Pages 96-114
Unification of equationally interpreted sorted terms....Pages 115-136
Sorted resolution-based calculi....Pages 137-155
References....Pages 156-166
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Schilddrüsenchirurgie - Qualitätsindikatoren und Ergebnisqualität, Diagnosen und Operationsstrategie im Wandel der Zeit, Komplikationsmanagement,aktuelle Standards und Leitlinien
دانلود کتاب A novel passive solar greenhouse based on phase-change materials (Новая пассивная теплица с аккумуляторам фазового перехода)
دانلود کتاب The New Corporate Governance in Theory and Practice
