Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
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.
