What do you think?
Rate this book
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ...
This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
260 pages, Paperback
First published July 31, 2007
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
February 26, 2026
The concept of this book is unique and structured in an interesting way. Initially it’s set in the mid-1980’s where we meet Brady, the son of a police detective, who finds a decade-old murder case buried in his recently deceased father’s garage. Then it’s 1975 and we meet four college students who are interested in the paranormal. Eventually it becomes clear that the plot of this book will move back and forth between the decades as these two stories unfold, each in their own timeline. Shifting from one timeline to another is fairly skillfully done.
The unfortunate part is that the book moves slowly. It is not particularly clear where the plot is going for the first third of the book and there seems to be a lack of focus throughout. There’s a lot of dialogue and side plots that, while interesting, get in the way of the main storyline. By the time the central part of the story really starts to unfold, I probably would have already stopped reading. There’s also an issue of entire scenes shifting from one paragraph to the next, with no chapter break, no warning, no notation to alert the reader to a shift. It’s jarring to try and figure out what’s happening when one paragraph has nothing to do with the previous one. When the story does resolve, it does so quickly and almost seems like a movie script ending rather than a book.
There are also too many misused words, i.e. picture vs pitcher, cue vs queue, you’re vs your, worn vs warn, vein vs vain, ‘ta vs to, workout (exercise) vs work out (to resolve). There are several scenes of quite graphic attempted rape, as well as an almost obsession with constantly describing marijuana use. This book is not available to read on a kindle e-reader. It is only available for a kindle fire tablet or with the kindle app, if that’s an issue for a reader.
The unfortunate part is that the book moves slowly. It is not particularly clear where the plot is going for the first third of the book and there seems to be a lack of focus throughout. There’s a lot of dialogue and side plots that, while interesting, get in the way of the main storyline. By the time the central part of the story really starts to unfold, I probably would have already stopped reading. There’s also an issue of entire scenes shifting from one paragraph to the next, with no chapter break, no warning, no notation to alert the reader to a shift. It’s jarring to try and figure out what’s happening when one paragraph has nothing to do with the previous one. When the story does resolve, it does so quickly and almost seems like a movie script ending rather than a book.
There are also too many misused words, i.e. picture vs pitcher, cue vs queue, you’re vs your, worn vs warn, vein vs vain, ‘ta vs to, workout (exercise) vs work out (to resolve). There are several scenes of quite graphic attempted rape, as well as an almost obsession with constantly describing marijuana use. This book is not available to read on a kindle e-reader. It is only available for a kindle fire tablet or with the kindle app, if that’s an issue for a reader.
Displaying 1 of 1 review