Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Book Details
Publisher
Springer
ISBN / ASIN
1441929053
ISBN-13
9781441929051
Availability
Not yet published
Sales Rank
#13,969,934
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.
