Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Description
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.
More Books by Domenico Cantone, Eugenio Omodeo, Alberto Policriti
