About this book
This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields.
The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.
Applied Algebraic Logic Programming Prolog Relational Calculus Relational Database Theory algorithms computer computer science knowledge representation linguistics logic modeling uncertainty verification
Relational Methods for Computer Science Applications
Studies in Fuzziness and Soft Computing
Springer-Verlag Berlin Heidelberg 2001
Springer Book Archive
Number of Pages
Number of Illustrations
3 b/w illustrations, 0 illustrations in colour
Arithmetic and Logic Structures
Logics and Meanings of Programs
Buy this book on publisher's site