Account
Orders
Advanced search
Graphic displays such as charts, graphs, diagrams, and maps play in important role today in the design and presentation of instructional materials education. There is also a strong need in scientific, technical and administrative fields to visually present facts, laws,...
The subject of Neural Networks is being seen to be coming of age, after its initial inception 50 years ago in the seminal work of McCulloch and Pitts. It is proving to be valuable in a wide range of academic disciplines and in important applications in industrial and...
This volume contains papers in the areas of artificial intelligence, expert systems, symbolic computing and applications to scientific computing. Together, they provide an excellent overview of the dynamic state of these closely related fields. They reveal a future...
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered...
The purpose of this proceedings is to stimulate exchange and discussion of research in the field of multi-agent systems. A multi-agent system consists of at least two agents that are engaged in some task that may require coordination, cooperation and/or competition. An...
In recent years AI has been experiencing a deep internal debate on the appropriateness of the symbolic-based paradigm and all of its consequences. While various symbolic representation schemes, as well as their integration, have been proposed, their limitations have...
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from...
The aim of this volume is to present discussion of the main problems in the theory of parallel and distributed architectures. It covers a wide range of basic topics, most of the papers being theoretical, though some cover application areas with the possibility of direct...
In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new chapters as well as various corrections to the 1978 text.The additional chapters X - XIII...
Much research in Artificial Intelligence deals with a single agent having complete control over the world. A variation of this is Distributed AI (DAI), which is concerned with the collaborative solution of global problems by a distributed group of entities. This book...
Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate ``knowledge'' or ``expertise'' into these systems. A number of developments have helped in making the systems more powerful and...
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model...
The focus of this volume is ``Heterogeneous Knowledge and Problem Solving Integration'', i.e. the combined use of different knowledge representation and problem solving paradigms.This is a central topic for the design and implementation of problem solving systems,...
An evaluation of the merits, potential, and limits of Connectionism, this book also illustrates current research programs and recent trends.Connectionism (also known as Neural Networks) is an exciting new field which has brought together researchers from different areas...
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely...
This classic work by the late Stefan Banach has been translated into English so as to reach a yet wider audience. It contains the basics of the algebra of operators, concentrating on the study of linear operators, which corresponds to that of the linear forms a1x1 +...
Techniques for 3-D Machine Perception
The Representation Theory of Finite Groups
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will...
Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a...
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers