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