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

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

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

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

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

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

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

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

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

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

Pagina următoare >>>