Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems...
Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate...
Mathematical Programming, a branch of Operations Research, is perhaps the most efficient technique in making optimal decisions. It has a very wide...
This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence...
Various emerging techniques for automating intelligent functions in the laboratory are described in this book. Explanations on how systems work are...
Bio-inspired computation, especially those based on swarm intelligence, has become increasingly popular in the last decade. Bio-Inspired Computation...
This volume brings together a number of the leading practitioners and exponents in the field of virtual reality (VR), and explores some of the main...
The volume "Modern Information Processing: From Theory to Applications," edited by Bernadette Bouchon-Meunier, Giulianella Coletti and Ronald Yager...
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way...
Artificial Intelligence in BASIC presents some of the central ideas and practical applications of artificial intelligence (AI) using the BASIC...