Innovationen bei Rechen- und Kommunikationssystemen
Author : Bernd E. Wolfinger
Publisher :
Page : 552 pages
File Size : 31,78 MB
Release : 1994
Category : Electronic data processing
ISBN :
Mathematics of Program Construction
Author : Bernhard Möller
Publisher : Springer Science & Business Media
Page : 488 pages
File Size : 50,10 MB
Release : 1995-07-10
Category : Computers
ISBN : 9783540601173
Book Description
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.
Handbook of Automated Reasoning
Author : Alan J.A. Robinson
Publisher : Elsevier
Page : 1198 pages
File Size : 12,39 MB
Release : 2001-06-21
Category : Computers
ISBN : 9780444508126
Book Description
Handbook of Automated Reasoning.
Recent Trends in Algebraic Development Techniques
Author : Francesco Parisi-Presicce
Publisher : Springer Science & Business Media
Page : 452 pages
File Size : 35,60 MB
Release : 1998-03-11
Category : Computers
ISBN : 9783540642992
Book Description
Spine title: WADT '97.
Logic Programming and Knowledge Representation
Author : Luis Moniz Pereira
Publisher : Springer Science & Business Media
Page : 266 pages
File Size : 21,99 MB
Release : 1998-08-26
Category : Computers
ISBN : 9783540649588
Book Description
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.
Non-Monotonic Extensions of Logic Programming
Author : Jürgen Dix
Publisher : Springer Science & Business Media
Page : 244 pages
File Size : 50,66 MB
Release : 1997-04-09
Category : Computers
ISBN : 9783540628439
Book Description
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.
Handbook on Architectures of Information Systems
Author : Peter Bernus
Publisher : Springer Science & Business Media
Page : 814 pages
File Size : 38,54 MB
Release : 2013-03-14
Category : Business & Economics
ISBN : 366203526X
Book Description
An authoritative source about methods, languages, methodologies and supporting tools for constructing information systems that also provides examples for references models. Its strength is the careful selection of each of the above mentioned components, based on technical merit. The second edition completely revises all articles and features new material on the latest developments in XML & UML. The structure follows the definition of the major components of Enterprise Integration as defined by GERAM (Generalised Enterprise Reference Architecture and Methodology). 1st edition sold about 600 copies since January 2003.
Handbook of Philosophical Logic
Author : D.M. Gabbay
Publisher : Springer Science & Business Media
Page : 382 pages
File Size : 49,64 MB
Release : 2005-12-15
Category : Philosophy
ISBN : 1402030924
Book Description
The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
Non-Monotonic Extensions of Logic Programming
Author : Louis M. Pereira
Publisher : Springer Science & Business Media
Page : 248 pages
File Size : 26,27 MB
Release : 1995-06-20
Category : Computers
ISBN : 9783540594673
Book Description
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.
Advanced Information Systems Engineering
Author : Panos Constantopoulos
Publisher : Springer Science & Business Media
Page : 600 pages
File Size : 27,66 MB
Release : 1996-05-03
Category : Business & Economics
ISBN : 9783540612926
Book Description
This book presents the refereed proceedings of the 8th International Conference on Advanced Information Systems Engineering, CAiSE '96, held in Herakleion, Crete, Greece, in May 1996. The 30 revised full papers included in the book were selected from a total of some 100 submissions. The book is organised in sections on CASE environments, temporal and active database technologies, experience reports, interoperability in information systems, formal methods in system development, novel architectures, workflow management and distributed information systems, information modelling, object-oriented database design, and semantic links and abstraction.
