Frontiers of Combining Systems 2 (Studies in Logic and Computation)
Contributors: Dov M. Gabbay (Editor); Maarten De Rijke (Editor)
Publisher: Research Studies Press
Published: October 1999
Language: eng
Format: Hardcover
Number of pages: 407
ISBN-13: 9780863802522
Subjects: Computer architecture & logic design; General Theory of Computing; Software engineering; Systems management; Science/Mathematics; Logic, Symbolic and mathematic; Computer Logic; Philosophy Of Mathematics; Mathematics; Research; Logic, Symbolic and mathematical; General; Logic; Computer Science; Congresses
Description: "Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. This volume addresses both particular instances of the combination and integration problem and the general issue. While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--BOOK JACKET.