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.




Seven More Languages in Seven Weeks

Author: Bruce Tate, Ian Dees, Frederic Daoud, Jack Moffitt 
Publisher: Pragmatic Bookshelf
Date: January 6, 2015
Pages: 350
ISBN: 9781941222157
Print: 1941222153 
Kindle: B00RW8XFUK
Audience: Language enthusiasts
Rating: 4
Reviewer: Mike James 

Seven more languages?  [ ... ]

Expert Android Studio

Author: Murat Yener and Onur Dundar
Publisher: Wrox
Pages: 456
ISBN: 978-1119089254
Audience: Intermediate Android programmers
Rating: 1
Reviewer: Mike James

A book on the finer points of Android Studio is a great idea given how little [ ... ]

More Reviews