Set Theory for Computing
, by Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto; Schwartz, J. T.- ISBN: 9781441929051 | 1441929053
- Cover: Paperback
- Copyright: 9/21/2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.