

| Publisher | Springer-Verlag New York Inc. |
| Book Description | Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science) By Cantone, Domenico Published by Springer Publication Date: 2001-06-26 |
| Book Format | Hardcover |
| Publication Date | 2001-06-26 |
| ISBN 13 | 9780387951973 |
| Author | Cantone, Domenico |
| Language | English |
| Number of Pages | 409 |

We're Always Here To Help
Reach out to us through any of these support channels
Electronics
MobilesTabletsLaptopsHome AppliancesCamera, Photo & VideoTelevisionsHeadphonesVideo GamesFashion
Women's FashionMen's FashionGirls' FashionBoys' FashionMen's WatchesWomen's WatchesEyewearBags & LuggageHome and Kitchen
Kitchen & DiningBeddingBathHome DecorHome AppliancesTools & Home ImprovmentPatio, Lawn & GardenHome Storage & Organisation