Frontiers of combining systems
Subtitle: first international workshop, Munich, March 1996
By: edited by Franz Baader and Klaus U. Schulz.
Contributors: Baader, Franz.; Schulz, K. U. 1957-
Series: Applied logic series ;; v. 3
Publisher: Kluwer Academic Publishers
Published: 1996
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 388
Subjects: Logic, Symbolic and mathematical -- Congresses.; Computer science -- Congresses.
Notes: Includes bibliographical references.