دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 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 مگابایت
کلمات کلیدی مربوط به کتاب جنبههای محاسباتی منطق مرتبسازیشده با اعلانهای مدت: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب 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