Cover Image

Frontiers of combining systems : first international workshop, Munich, March 1996 /

This volume contains research papers that cover the combination of logics, the combination of constraint solving techniques and decision procedures, the combination of deductive systems, the integration of data structures into Constraint Logic Programming formalisms, and logic modeling of multi-agen...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Baader, Franz (Editor), Schulz, K. U. (Klaus Ulrich), 1957- (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Science+Business Media, LLC, [1996]
Series:Applied logic series ; v. 3.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Computer science > Congresses.
Wiskundige logica.
Computerwiskunde.
Computer science.
Logic, Symbolic and mathematical.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:This volume contains research papers that cover the combination of logics, the combination of constraint solving techniques and decision procedures, the combination of deductive systems, the integration of data structures into Constraint Logic Programming formalisms, and logic modeling of multi-agent systems. These problems are addressed on different conceptual levels: from the investigation of formal properties of combined systems using methods of logic and mathematics to the consideration of physical connections and communication languages relevant for combination of software tools.
Item Description:Originally published: Dordrecht : Kluwer Academic Publishers, c1996.
Physical Description:1 online resource (xi, 388 pages) : illustrations.
Bibliography:Includes bibliographical references.
ISBN:9789400903494 (electronic bk.)
9400903499 (electronic bk.)
ISSN:1386-2790 ;