Skip to main content
PBS logo
 
 

Search - Frontiers of Combining Systems 2 (Studies in Logic and Computation)

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.
ISBN-13: 9780863802522
ISBN-10: 0863802524
Publication Date: 3/1/2000
Pages: 407
Edition: 2
Rating:
  ?

0 stars, based on 0 rating
Publisher: Research Studies Pre
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: