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: Paperback
• Language: English
• ISBN: 1441929053
• ISBN13: 9781441929051
• Release Date: September 2011
• Publisher: Springer
• Length: 409 Pages
• Weight: 1.31 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"