9th International Conference on Automated Deduction
9th International Conference on Automated Deduction

Author: Ewing Lusk

Publisher: Springer Science & Business Media

Published: 1988-05-04

Total Pages: 778

ISBN-13: 9783540193432

DOWNLOAD EBOOK

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

Mathematical Foundations of Computer Science 1988
Mathematical Foundations of Computer Science 1988

Author: Michal P. Chytil

Publisher: Springer Science & Business Media

Published: 1988-08-10

Total Pages: 582

ISBN-13: 9783540501107

DOWNLOAD EBOOK

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

Natural Language at the Computer
Natural Language at the Computer

Author: Albrecht Blaser

Publisher: Springer Science & Business Media

Published: 1988

Total Pages: 184

ISBN-13: 9783540500117

DOWNLOAD EBOOK

Volume 19 of Group III (Crystal and Solid State Physics) deals with the magnetic properties of metals, alloys and metallic compounds. The amount of information available in this field is so substantial that several subvolumes are needed to cover it all. The first subvolumes treat the intrinsic magnetic properties, i. e. those magnetic properties which depend only on the chemical composition and the crystal structure. So far, subvolumes III/19a, III/19b and III/19c have appeared. Data on the properties that depend on the preparation of the samples measured, as for instance, thin films or amorphous alloys and the magnetic alloys used in technical applications, are being compiled in the last subvolumes of III/19. In the first of these, subvolume III/19g, magnetic properties are given for several major types of crystalline and amorphous thin magnetic films that are supported by a substrate and for which a more or less coherent group of data is available. The properties of sputtered metallic amorphous films containing 3d transition elements will be dealt with in the following subvolume.

ESOP '88
ESOP '88

Author: Harald Ganzinger

Publisher: Springer Science & Business Media

Published: 1988-03-09

Total Pages: 392

ISBN-13: 9783540190271

DOWNLOAD EBOOK

The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.

Graph-Theoretic Concepts in Computer Science
Graph-Theoretic Concepts in Computer Science

Author: Gottfried Tinhofer

Publisher: Springer Science & Business Media

Published: 1987

Total Pages: 324

ISBN-13: 9783540172185

DOWNLOAD EBOOK

Graph-theoretic concepts are developed by computer scientists in order to model algorithms, nets, rewriting systems, distributed systems, parallelism, geometric and layout concepts. Their complexity is studied under various randomness assumptions. This volume contains contributions to the twelfth of a series of annual workshops designed to bring together researchers using graph-theoretic methods. Its purpose is to broadcast emerging new developments from and to a diversity of application fields. The topics covered include: Graph Grammars, Graph Manipulation, Nets, Complexity Issues, Algorithmic and Network Considerations, Outerplanar Graphs, Graph Isomorphism, Parallelism and Distributed Systems, Graphs and Geometry, Randomness Considerations, Applications in Chemistry, Specific Algorithms. N

Graph-Theoretic Concepts in Computer Science
Graph-Theoretic Concepts in Computer Science

Author: Herbert Göttler

Publisher: Springer Science & Business Media

Published: 1988-06-08

Total Pages: 264

ISBN-13: 9783540194224

DOWNLOAD EBOOK

This book reflects the scientific program of the annual workshop on Graph-theoretic Concepts in Computer Science in 1987. The purpose of this conference is to be the "missing link" between theory and application of graphs in as many branches of computer science as a conference scheduled for three days without parallel sessions can permit. So the organizers of WG '87 addressed a selected group of people with a strong interest in theory and practice. The proceedings include latest results on "classical" graph-theoretic problems (including formal language theory applied to graphs) and how to apply those results to practical problems, e.g. data bases, layout of graph operating systems, software engineering, chemistry, and modelling with graphs.

MFDBS 87
MFDBS 87

Author: Joachim Biskup

Publisher: Springer Science & Business Media

Published: 1988-04-01

Total Pages: 260

ISBN-13: 9783540191216

DOWNLOAD EBOOK

This volume contains the 13 best of the 18 papers presented at the first MFDBS conference held in Dresden, GDR, January 19-23, 1987. A short summary of the two panel discussions is also included. The volume is intended to be a reflection of the current state of knowledge and a guide to further development in database theory. The main topics covered are: theoretical fundaments of the relational data model (dependency theory, design theory, null values, query processing, complexity theory), and of its extensions (graphical representations, NF2-models), conceptual modelling of distributed database management systems and the relationship between logic and databases.

Uncertainty and Intelligent Systems
Uncertainty and Intelligent Systems

Author: Bernadette Bouchon

Publisher: Springer Science & Business Media

Published: 1988-06-08

Total Pages: 420

ISBN-13: 9783540194026

DOWNLOAD EBOOK

This book contains the papers presented at the 2nd IPMU Conference, held in Urbino (Italy), on July 4-7, 1988. The theme of the conference, Management of Uncertainty and Approximate Reasoning, is at the heart of many knowledge-based systems and a number of approaches have been developed for representing these types of information. The proceedings of the conference provide, on one hand, the opportunity for researchers to have a comprehensive view of recent results and, on the other, bring to the attention of a broader community the potential impact of developments in this area for future generation knowledge-based systems. The main topics are the following: frameworks for knowledge-based systems: representation scheme, neural networks, parallel reasoning schemes; reasoning techniques under uncertainty: non-monotonic and default reasoning, evidence theory, fuzzy sets, possibility theory, Bayesian inference, approximate reasoning; information theoretical approaches; knowledge acquisition and automated learning.