Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (1st ed. 2019) (Lecture Notes in Computer Science #11560)

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

Sign Up Now! Already a Member? Log In
You must be logged into Bookshare to access this title. Learn about membership options, or view our freely available titles.

Synopsis: 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.

Book Quality:: Publisher Quality
ISBN-13:: 9783030221027
Related ISBNs:: 9783030221010
Publisher:: Springer International Publishing
Date of Addition:: 08/05/19
Copyrighted By:: Springer
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
Submitted By:: Bookshare Staff
Usage Restrictions:: This is a copyrighted book.
Edited by:: Carsten Lutz
Edited by:: Uli Sattler
Edited by:: Cesare Tinelli
Edited by:: Anni-Yasmin Turhan
Edited by:: Frank Wolter