Catalog > Sains > Ilmu Komputer > 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

Dukung

Sampul 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

Beli ebook ini dan dapatkan 1 lagi GRATIS!

Bahasa Inggris ● Format EPUB ● ISBN 9783030221027 ● Editor Carsten Lutz & Uli Sattler ● Penerbit Springer International Publishing ● Diterbitkan 2019 ● Diunduh 3 kali ● Mata uang EUR ● ID 7280692 ● Perlindungan salinan Adobe DRM

Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

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

75,745 Ebooks dalam kategori ini

Sampul 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 …

Sampul Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Sampul 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 …

Sampul 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 …

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

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

Sampul 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: …

Sampul 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 …

Sampul 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 …

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

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

Sampul 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

Halaman selanjutnya >>>