Theoretical Computer Science and General Issues Lect.Notes ComputerFestschrift
cover

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.)

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

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-030-22102-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-22101-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-030-22102-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-22101-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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