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.
Publisher: Springer
Date: June 2019
Pages: 662
Audience: Anyone interested in computer science
Level: Intermediate/Advanced
Category: Theory & Techniques 


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

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.




Nine Algorithms That Changed the Future

Author: John MacCormick
Publisher: Princeton U P, 2011
Pages: 248
ISBN: 978-0691158198
Print: 0691158193
Kindle: B005Z67EI0
Audience: General reader interested in computing
Rating: 4
Reviewed by: Mike James

Nine algorithms that changed the future - but which nine?

jQuery and JavaScript Phrasebook

Author: Brad Dayley
Publisher: Addison-Wesley, December 2013
Pages: 384
ISBN: 978-0321918963
Print: 0321918967
Kindle: B00GY49DHW
Audience: Novice to intermediate JavaScript programmers
Rating: 4.5
Reviewer: Ian Elliot


Pocket books, or phrasebooks in this case, are something that provide a unique f [ ... ]

More Reviews