Catalog > Științe > Informatică > 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

Ajutor

Copertina de 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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format EPUB ● ISBN 9783030221027 ● Editor Carsten Lutz & Uli Sattler ● Editura Springer International Publishing ● Publicat 2019 ● Descărcabil 3 ori ● Valută EUR ● ID 7280692 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

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

75.745 Ebooks din această categorie

Copertina de 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 …

Copertina de Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Copertina de 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 …

Copertina de 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 …

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

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

Copertina de 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: …

Copertina de 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 …

Copertina de 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 …

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

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

Copertina de 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

Pagina următoare >>>