Search -
Frontiers of Combining Systems 2 (Studies in Logic and Computation)
Frontiers of Combining Systems 2 - Studies in Logic and Computation Author:Dov M. Gabbay Addresses both particular instances of the combination and integration problem and the general issue. Covers a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting. Emphasizes automated tools and logic. DLC: Logic, Symbolic and mathematical.