Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

by Domenico Cantone and Eugenio G. Omodeo

Book Overview

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

• Format: Hardcover
• Language: English
• ISBN: 0387951970
• ISBN13: 9780387951973
• Release Date: June 2001
• Publisher: Springer
• Length: 409 Pages
• Weight: 1.65 lbs.
• Dimensions: 1.0" x 6.4" x 9.5"