Sign in
Join Literal
Set Theory for Computing
Domenico Cantone
Want to read
Sign up to use
Domenico Cantone
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Domenico Cantone,
Eugenio Omodeo,
Alberto Policriti
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
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.
Discover more books like Set Theory for Computing