دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
دانلود کتاب توضیحات منطق، ترکیب تئوری، و همه اینها: مقالات تقدیم به فرانتس بادر به مناسبت شصتمین سالگرد تولد او
مشخصات کتاب
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
ویرایش: [1st ed.] نویسندگان: Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter سری: Lecture Notes in Computer Science 11560 ISBN (شابک) : 9783030221010 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XIII, 662 [673] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 Mb
قیمت کتاب (تومان) : 51,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب توضیحات منطق، ترکیب تئوری، و همه اینها: مقالات تقدیم به فرانتس بادر به مناسبت شصتمین سالگرد تولد او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب توضیحات منطق، ترکیب تئوری، و همه اینها: مقالات تقدیم به فرانتس بادر به مناسبت شصتمین سالگرد تولد او
این Festschrift به مناسبت شصتمین سالگرد تولد فرانتس بادر برای جشن گرفتن مشارکتهای علمی اساسی و بسیار تأثیرگذار او گردآوری شده است. 30 مقاله در این مجلد چندین حوزه علمی را که فرانتس بادر در طول سه دهه گذشته بر روی آنها کار کرده است، شامل می شود، از جمله منطق توصیف، بازنویسی اصطلاحات، و ترکیبی از رویه های تصمیم گیری. امیدواریم خوانندگان از مقالات گردآوری شده به افتخار فرانتس لذت ببرند و از وسعت و عمق حوزه های مورد علاقه او در علوم کامپیوتر قدردانی کنند.
توضیحاتی درمورد کتاب به خارجی
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
