Mathematical theory of computation

This book focuses on an important topic in symbolic computation, namely methods for symbolic integration.

"e;Algorithmic information theory (AIT) is the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously"e;, says G.

Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book.

The fields of image analysis, computer vision, and artificial intelligence all make use of descriptions of shape in grey-level images.

As the role of the modern engineer is markedly different from that of even a decade ago, the theme of engineering mathematics educa- tion (EME) is an important one.

Over the past two decades, many advances have been made in the decision support system (DSS) field.

With the advent of powerful computing tools and numerous advances in math- ematics, computer science and cryptography, algorithmic number theory has become an important subject in its own right.

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps.

There are two aspects to the theory of Boolean algebras; the algebraic and the set-theoretical.

The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik.

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024.

John Vince explains a comprehensive range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, special effects, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded seventh edition.

The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language.

Das Anliegen dieses Werkes unterscheidet sich von vielen anderen dadurch, daß die Informationstechnik nicht aus der Sicht der materiell-energetischen Realisierung, also nicht unter dem Aspekt der zur Verfügung stehenden physikalischen Effekte und der dabei auftretenden technischen Probleme behandelt wird.

An der Realisierung integrierter Informationssysteme sind verschiedene Partner aus Fachabteilungen und aus der Informatik sowie externe Berater und Hersteller beteiligt.

The creation and implementation of integrated information systems involves a variety of collaborators including people from specialist departments.

The purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction between members of the AI community.

Since the achievement of a fonnal definition of the concept of "e;algorithm"e;, the Mathematical Theory of Computation has developed into a broad and rich discipline.

The purpose of this catalogue is to promote interaction between members of the AI community.

The computer programming language Prolog is quickly gaining popularity throughout the world.

The Fourth International "e;Nursing Informatics '91"e; Preconference sessions held in Melbourne Australia on the 12th and 13th April 1991 hosted by the Nursing Computer Group, Victoria Inc.

This book is dedicated to Aristid Lindenmayer on the occasion of his 60th birthday on November 17, 1985.

During the last few years, computers have evolved from pure number crunching machines to "e;intelligent"e; problem solving tools.

In computing science design plays an eminently important role.

This volume contains the full text of twenty ofthe twenty-one papers given at the Montreux 1990 International Chemical Information Conference in Mon- treux, Switzerland between 24 and 26 September 1990.

There are two aspects to the theory of Boolean algebras; the algebraic and the set-theoretical.

These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell Uni- versity for many years.

Data fusion, the ability to combine data derived fromseveral sources to provide a coherent, informative, anduseful characterization of a situation,is a challengingtask.

This book reports research conducted in the ESPRIT project PECOS, which investigated the requirements for effective CSCW (Computer Supported Cooperative Work) with special reference to cooperation among organisations in large projects.

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems.

These proceedings contain the texts of 37 contributions presented at the International Conference on Engineering Optimization in an Industrial Environment, which took place on 3 - 4 September 1990 at the Karlsruhe Nuclear Hesearch Center, I~H Germany.

Das Buch enthält die am 1.

In diesem Tagungsband wird eine Übersicht über den Stand der Forschung auf dem Gebiet Hypertext/Hypermedia gegeben.

Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt.

Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozeßsysteme eingesetztes Sprachmittel.

The content of this book is an information model for technical drawings, the so-called "e;Drafting Model"e;.

The topic of logic programming and databases.

the outcome of a NATO Advanced Research Workshop (ARW) This book is held in Neuss (near Dusseldorf), Federal Republic of Germany from 28 September to 2 October, 1987.

In the past, applied artificial intelligence systems were built with particular emphasis on general reasoning methods intended to function efficiently, even when only relatively little domain-specific knowledge was available.