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.




Effective Java 3e

Author: Joshua Bloch
Publisher: Addison Wesley, 2018
Pages: 412
ISBN: 978-0134685991
Print: 0134685997
Kindle: B078H61SCH
Audience: Existing Java programmers
Rating: 5
Reviewer: Alex Armstrong
A third edition of a classic on Java - what could go wrong?

Essential Skills for the Agile Developer

Author: Alan Shalloway, Scott L. Bain, Amir Kolsky & Ken Pugh
Publisher: Addison-Wesley
Pages: 272
ISBN: 978-0321543738
Print: 0321543734
Kindle: B005HXMZ0S
Audience: Newcomers to agile methodolgies
Rating: 5
Reviewer: Andrew Johnson


A "stop-gap" title that forms part of the  Net [ ... ]

More Reviews