|
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Description
(Lecture Notes in Computer Science (11560)) 1st ed. 2019 Edition
by Carsten Lutz (Editor), Uli Sattler (Editor), Cesare Tinelli (Editor), Anni-Yasmin Turhan (Editor), Frank Wolter (Editor)
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.
Details
Year:
2019
Pages:
673
Language:
English
Format:
PDF
Size:
17 MB
ISBN-10:
3030221016
ISBN-13:
978-3030221010
ASIN:
B07TGHP6MJ
Share this product
You might also be interested in one of these books
|
KETAB DOWNLOAD
New Achievements in Continuum Mechanics and Thermodynamics: A Tribute to Wolfgang H. Müller
$10.00
|
KETAB DOWNLOAD
Microelectronics, Electromagnetics and Telecommunications: Proceedings of the Fifth ICMEET 2019
$10.00