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 El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide – An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner”s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Omslag till Barry L. (Williams Technology Audit Services, Alton, Illinois, USA) Williams: Information Security Policy Development for Compliance

Barry L. (Williams Technology Audit Services, Alton, Illinois, USA) Williams: Information Security Policy Development for Compliance

Although compliance standards can be helpful guides to writing comprehensive security policies, many of the standards state the same requirements in slightly different ways. Information Security Poli …

Omslag till The Cheat Mistress: The Adventure Heroes

The Cheat Mistress: The Adventure Heroes

Cheats Unlimited are the specialists when it comes to video game cheats, tips and walkthrough guides. Fronted by the glamorous and gorgeous Cheat Mistress, Cheats Unlimited has helped over five milli …

Omslag till Sanjiv Purba: New Directions in Internet Management

Sanjiv Purba: New Directions in Internet Management

What is the business model for making money on the Internet and how does it function? The answer to this question will determine the shape of the Internet over the near term. As the Internet business …

Omslag till Mohamed Boucadair & Christian Jacquenet: Handbook of Research on Redesigning the Future of Internet Architectures

Mohamed Boucadair & Christian Jacquenet: Handbook of Research on Redesigning the Future of Internet Architectures

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 Jiande Wang & Yonghui (Fudan University, Pudong New District, Shanghai, People's Republic of China) Wu: Algorithm Design Practice for Collegiate Programming Contests and Education

Jiande Wang & Yonghui (Fudan University, Pudong New District, Shanghai, People’s Republic of China) Wu: Algorithm Design Practice for Collegiate Programming Contests and Education

This book can be used as an experiment and reference book for algorithm design courses, as well as a training manual for programming contests. It contains 247 problems selected from ACM-ICPC programm …

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: Internet of Things: Breakthroughs in Research and Practice

Information Resources Management Association: Internet of Things: Breakthroughs in Research and Practice

Omslag till Information Resources Management Association: Digital Multimedia: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Digital Multimedia: Concepts, Methodologies, Tools, and Applications

Nästa sida >>>