Home/
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (2001)
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (2001)
No customer reviews yet
ISBN 9780387951973
- Published
- Jun 2001
- Language
- English
$177.01
In stock
Most orders arrive within 3 weeks. Shipping policy
Sign in to Add to Saved list
Fast checkout
Pay with Apple Pay or Google Pay when available.
Payment received
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.
Free delivery over $35 · 15-day returns
Condition
Brand New
An unread, unused copy: no writing or highlighting, and no missing or damaged pages. Every book we sell is brand new, including our lowest-priced titles.
About this book
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
Specifications
PublishedJun 26, 2001
ISBN-100387951970
ISBN-139780387951973
LanguageEnglish
Buying from Saanjhi
- Ships from the USA. Delivery to US addresses only.
- Free delivery on orders over $35.
- 15-day returns. Unless we send the wrong book or it arrives damaged, you pay return shipping and a 15% restocking fee.
- Secure checkout. We never store card details.
Readers who bought this also bought
More from Set Theory