| Description Logic, Theory Combination, and All That (Springer) |
| Monday, 05 August 2019 | |||
As its subtitle "Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday" makes clear, this collection has been put together to celebrate the fundamental and highly influential scientific contributions of Franz Baader a German computer scientist at Dresden University of Technology. Ita 30 papers cover several scientific areas that Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. The title of this book is a reference to his 1998 work, co-authored with Tobias Nipkow, Term Rewriting and All That,. Author: Carsten Lutz et al.
For more Book Watch just click. Book Watch is I Programmer's listing of new books and is compiled using publishers' publicity material. It is not to be read as a review where we provide an independent assessment. Some, but by no means all, of the books in Book Watch are eventually reviewed. To have new titles included in Book Watch contact BookWatch@i-programmer.info Follow @bookwatchiprog on Twitter or subscribe to I Programmer's Books RSS feed for each day's new addition to Book Watch and for new reviews.
|