Automated Reasoning and Its Applications: Essays in Honor of Larry Wos by Robert Veroff $48.00
The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applications were written in honor of Larry...

Deduction Systems (Texts in Computer Science) by Springer $89.95
This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. By presenting an account which covers resolution theorem-proving in order-sorted first-order logic it provides a self-contained account suitable for students coming to the subject for the first time. Both Gentzen-style sequent calculi and the refutation method known as...

Theory and Applications of Cellular Automata (Including Selected Papers 1983-1986) by World Scientific Pub Co Inc $85.00
Are mathematical equations the best way to model nature? For many years it had been assumed that they were. But in the early 1980s, Stephen Wolfram made the radical proposal that one should instead build models that are based directly on simple computer programs. Wolfram made a detailed study of a class of such models known as cellular automata, and discovered a remarkable fact: that even when...

The Nonlinear Workbook: Chaos, Fractals, Cellular Automata, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden ... Java and Symbolic C++ Programs (5th Edition) by World Scientific Publishing Company $62.00
The Nonlinear Workbook provides a comprehensive treatment of all the techniques in nonlinear dynamics together with C++, Java and SymbolicC++ implementations. The book not only covers the theoretical aspects of the topics but also provides the practical tools. To understand the material, more than 100 worked out examples and 150 ready to run programs are included. New topics added to the fifth...

Robot Manipulators: Mathematics, Programming, and Control (Artificial Intelligence) by The MIT Press $45.00
"Richard Paul is perhaps the world's leading authority on the science of robot manipulation. He has contributed to almost every aspect of the field. His impressive publication record includes important articles on the kinematics of robot arms, their dynamics, and their control. He has developed a succession of interesting ideas concerning representation, specifically the use of homogeneous...

Information Retrieval: Algorithms and Heuristics (The Springer International Series in Engineering and Computer Science) by Springer $199.00
Information Retrieval: Algorithms and Heuristics is a comprehensive introduction to the study of information retrieval covering both effectiveness and run-time performance. The focus of the presentation is on algorithms and heuristics used to find documents relevant to the user request and to find them fast. Through multiple examples, the most commonly used algorithms and heuristics needed...

Automated Theorem Proving: Theory and Practice by Springer $154.00
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two...

Automata and Formal Languages: An Introduction by Prentice Hall $121.00
Written with the beginning user in mind. This book builds mathematical sophistication through an example rich presentation.

Complexity: Metaphors, Models, And Reality (Santa Fe Institute Studies in the Sciences of Complexity Proceedings) by EDITOR * $61.00
The terms complexity, complex adaptive systems, and sciences of complexity are found often in recent scientific literature, reflecting the remarkable growth in collaborative academic research focused on complexity from the origin and dynamics of organisms to the largest social and political organizations. One of the great challenges in this field of research is to discover which features are...

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic by M. J. C. Gordon $65.00
HOL is a proof development system intended for applications to both hardware and software. It is principally used in two ways: for directly proving theorems, and as theorem-proving support for application-specific verification systems. HOL is currently being applied to a wide variety of problems, including the specification and verification of critical systems. Introduction to HOL provides a...