This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution of data structures and sequential procedures. The author introduces generic programs for two paradigms and shows how to derive new distributed programs...

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be...

A self-study reference and practice book for intermediate and more advanced learners of English. Covering all areas of language which students at this level find difficult, this substantially revised and updated book retains the clarity, simplicity and accessibility of the first edition, adding to it new and redesigned units and appendices,...

Studying modern database languages one recognizes that there is a gap between language
features and theoretical foundations:

* Studies of the formal foundations exist for the relational data model but not
for the Entity-Relationship model, which is a model used by numerous practical
people. Also, most extensions of...

In 1958, a successful businessman named Robert Mornroe began to have experiences that drastically altered his life. Unpredictably, and without his willing it, Monroe found himself leaving his physical body to travel via a "second body" to locales far removed from the physical and spiritual realities of his life. He was...

Learn the fundamentals of creating and using object oriented databases with C++ Database Development, 2nd Edition. This comprehensive guide covers the history and principles of database management, advanced techniques for designing and writing C++ persistent object database programs, and using PARODY the Persistent, Almost-Relational...

The Celts were one of the great founding civilizations of Europe and the first North European people to emerge into recorded history, producing a vibrant labyrinth of mythological tales and sagas that have influenced the literary traditions of Europe and the world.

The first A-Z reference of its kind, Dictionary of Celtic Mythology...

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system.The logic of information flow has applications in...

"The best logic of our time is to be found in computer science departments....Computer scientists (many of whom are former logicians) are developing the logic that really matters, the one that really meets the challenges of today's demands for automated reasoning. This book is a prime example of such triumph of useful logic." --The...

An authority on learning techniques and the brain offers a groundbreaking, fully illustrated program for tapping and freeing the mind's hidden powers, showing ways to improve memory, concentration, and creativity. National ad/promo.

This book is devoted to the study of fuzzy reasoning as applied to decision making and control processes. It contains a collection of important contributions covering a wide well-selected range of topics within the field. The book contains twenty-one papers, written by thirty-four distinguished contributors and is divided into five...

A Mathematical Introduction to Robotic Manipulation presents a mathematical formulation of the kinematics, dynamics, and control of robot manipulators. It uses an elegant set of mathematical tools that emphasizes the geometry of robot motion and allows a large class of robotic manipulation problems to be analyzed within a unified...