Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Book Details
Publisher
Springer
ISBN / ASIN
0387951970
ISBN-13
9780387951973
Availability
Usually ships in 24 hours
Sales Rank
#3,970,127
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
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.
