Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Theoretical Computer Science and General Issues Lect.Notes ComputerFestschrift

Description Logic, Theory Combination, and All That

Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Editors: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (Eds.)

Free Preview
  • Written by experts
  • High-quality selected papers
  • State-of-the-art research
see more benefits

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-030-22102-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-030-22101-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (30 chapters)

Table of contents (30 chapters)

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-030-22102-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-030-22101-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Description Logic, Theory Combination, and All That
Book Subtitle
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Editors
  • Carsten Lutz
  • Uli Sattler
  • Cesare Tinelli
  • Anni-Yasmin Turhan
  • Frank Wolter
Series Title
Theoretical Computer Science and General Issues
Series Volume
11560
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-22102-7
DOI
10.1007/978-3-030-22102-7
Softcover ISBN
978-3-030-22101-0
Edition Number
1
Number of Pages
XIII, 662
Number of Illustrations
1216 b/w illustrations, 14 illustrations in colour
Topics