E-bok > Sciences > Datavetenskap > Carsten Lutz & Uli Sattler: Description Logic, Theory Combination, and All That (ePUB)

Carsten Lutz & Uli Sattler
Description Logic, Theory Combination, and All That [EPUB ebook]
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Stöd

Omslag till Carsten Lutz & Uli Sattler: Description Logic, Theory Combination, and All That (ePUB)

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.

€57.99

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera EPUB ● ISBN 9783030221027 ● Redaktör Carsten Lutz & Uli Sattler ● Utgivare Springer International Publishing ● Publicerad 2019 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 7280692 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Carsten Lutz Uli Sattler Cesare Tinelli Anni-Yasmin Turhan Frank Wolter

75 745 E-böcker i denna kategori

Omslag till Wendy Despain: Writing for Video Game Genres

Wendy Despain: Writing for Video Game Genres

This book, written and edited by members of the International Game Developers Association (IGDA) Game Writing Special Interest Group, follows the acclaimed Professional Techniques for Video Game Writ …

Omslag till Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Omslag till Ema Vitorino: Make Money With a Membership Site - Even If You Don''t Have a Website

Ema Vitorino: Make Money With a Membership Site – Even If You Don”t Have a Website

Learn how to start your own Membership site Business, whether you already have a business or not. This e-book will guide you step by step, even if you don”t have an idea for a Membership Business ye …

Omslag till Cesar Anton Dorantes: Hands-On G Suite for Administrators

Cesar Anton Dorantes: Hands-On G Suite for Administrators

Effectively implement and administer business solutions on any scale in a cost-effective way to have a competitive advantage using Gsuite Key Features

Enhance administration with Admin conso …

Omslag till Information Resources Management Association: Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications

Omslag till Team Orange: Touchpad Modular Ver. 1.1 Class 2

Team Orange: Touchpad Modular Ver. 1.1 Class 2

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Omslag till Amra Alagic & Nijaz Bajgoric: Enhancing Business Continuity and IT Capability

Amra Alagic & Nijaz Bajgoric: Enhancing Business Continuity and IT Capability

Enterprise servers play a mission-critical role in modern computing environments, especially from a business continuity perspective. Several models of IT capability have been introduced over the last …

Omslag till Narayanan Palani: Automated Software Testing with Cypress

Narayanan Palani: Automated Software Testing with Cypress

Unit Integration Testing (UIT) had been a challenge because there was no tool that could help in XHR programming and unit integration validations in an efficient way until Cypress arrived. Cypress st …

Omslag till Information Resources Management Association: Cloud Technology: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Cloud Technology: Concepts, Methodologies, Tools, and Applications

Omslag till Information Resources Management Association: Web Design and Development: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Design and Development: Concepts, Methodologies, Tools, and Applications

Nästa sida >>>