Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday / Carsten Lutz [and 4 others], (eds.)
نوع المادة : نصاللغة: الإنجليزية السلاسل:Lecture notes in computer science ; 11560 | Lecture notes in computer science | LNCS sublibrary. SL 1, Theoretical computer science and general issuesالناشر:Cham, Switzerland : Springer, 2019وصف:xiii, 662 pages; 24 cmنوع المحتوى:- text
- unmediated
- volume
- 9783030221010
- 9783030221027
- 3030221024
- QA76.9.L63 D4737 2019
نوع المادة | المكتبة الحالية | رقم الطلب | رقم النسخة | حالة | تاريخ الإستحقاق | الباركود | |
---|---|---|---|---|---|---|---|
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | QA76.9.L63 D4737 2019 (إستعراض الرف(يفتح أدناه)) | C.1 | Library Use Only | داخل المكتبة فقط | 30020000207133 |
Browsing UAE Federation Library | مكتبة اتحاد الإمارات shelves, Shelving location: General Collection | المجموعات العامة إغلاق مستعرض الرف(يخفي مستعرض الرف)
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