Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover reprint of the original 1st ed. 2001)
Domenico Cantone, Eugenio Omodeo, Alberto PolicritiAn 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.
R4,599
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
45990
@R431pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Product 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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer-Verlag New York |
Country of origin | United States |
Series | Monographs in Computer Science |
Release date | April 2014 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2001 |
Authors | Domenico Cantone, Eugenio Omodeo, Alberto Policriti |
Foreword by | J.T. Schwartz |
Dimensions | 235 x 155 x 22mm (L x W x T) |
Format | Paperback |
Pages | 409 |
Edition | Softcover reprint of the original 1st ed. 2001 |
ISBN-13 | 978-1-4419-2905-1 |
Barcode | 9781441929051 |
Categories | |
LSN | 1-4419-2905-3 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
