This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications includ

The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophi

These are exciting times in the fields of Fuzzy Logic and the Semantic Web, and this book will add to the excitement, as it is the first volume to focus on the

The authors survey a recent technique in computer vision called Interactive Co-segmentation, which is the task of simultaneously extracting common foreground ob